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

Module `Flambda2_simplify.Build_unboxing_denv`

Transform an unboxing decision tree into the downwards environment required for simplification.

val denv_of_decision : 
  Flambda2_simplify.Simplify_import.DE.t ->
  param_var:Flambda2_identifiers.Variable.t ->
  Unboxing_types.decision ->
  Flambda2_simplify.Simplify_import.DE.t