Module Flambda2_simplify.Simplify_binary_primitive
Simplification of primitives taking two arguments.
val simplify_binary_primitive :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_terms.Flambda_primitive.t ->
Flambda2_terms.Flambda_primitive.binary_primitive ->
arg1:Flambda2_term_basics.Simple.t ->
arg1_ty:Flambda2_types.t ->
arg2:Flambda2_term_basics.Simple.t ->
arg2_ty:Flambda2_types.t ->
Debuginfo.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_primitive_result.t