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 ->
Flambda2_simplify.Unboxing_types.decision ->
Flambda2_simplify.Simplify_import.DE.t