Module Flambda2_simplify.Simplify_unary_primitive
Simplification of primitives taking one argument.
val simplify_unary_primitive :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_terms.Flambda_primitive.t ->
Flambda2_terms.Flambda_primitive.unary_primitive ->
arg:Flambda2_term_basics.Simple.t ->
arg_ty:Flambda2_types.t ->
Debuginfo.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_primitive_result.t