Module Flambda2_simplify.Simplify_variadic_primitive
Simplification of primitives taking variable numbers of arguments.
val simplify_variadic_primitive :
Flambda2_simplify.Downwards_acc.t ->
Flambda2_terms.Flambda_primitive.t ->
Flambda2_terms.Flambda_primitive.variadic_primitive ->
args_with_tys:(Flambda2_term_basics.Simple.t * Flambda2_types.t) list ->
Debuginfo.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_primitive_result.t