Module Flambda2_simplify.Simplify_ternary_primitive
Simplification of primitives taking three arguments.
val simplify_ternary_primitive :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_terms.Flambda_primitive.t ->
Flambda2_terms.Flambda_primitive.ternary_primitive ->
arg1:Flambda2_term_basics.Simple.t ->
arg1_ty:Flambda2_types.t ->
arg2:Flambda2_term_basics.Simple.t ->
arg2_ty:Flambda2_types.t ->
arg3:Flambda2_term_basics.Simple.t ->
arg3_ty:Flambda2_types.t ->
Debuginfo.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_primitive_result.t