Up – Package index » oxcaml-compiler » Library compiler-libs.optcomp » Flambda2_simplify » Simplify_variadic_primitive

Module `Flambda2_simplify.Simplify_variadic_primitive`

Simplification of primitives taking variable numbers of arguments.

val simplify_variadic_primitive : 
  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 ->
  Simplify_primitive_result.t