Module `Flambda2_simplify.Optimistic_unboxing_decision`

val make_optimistic_decision : 
  depth:int ->
  recursive:bool ->
  Flambda2_types.Typing_env.t ->
  param_type:Flambda2_types.t ->
  Flambda2_simplify.Unboxing_types.decision

Unfold a continuation parameter's type into an unboxing decision tree. This does not take account of the types of the corresponding arguments at the continuation's use site(s).

Module Flambda2_simplify.Optimistic_unboxing_decision

Module `Flambda2_simplify.Optimistic_unboxing_decision`