Module Flambda2_simplify.Reification
Construct terms using only information from types.
val try_to_reify :
Flambda2_simplify.Downwards_acc.t ->
Debuginfo.t ->
Flambda2_simplify.Simplified_named.t ->
bound_to:Flambda2_bound_identifiers.Bound_var.t ->
kind_of_bound_to:Flambda2_kinds.Flambda_kind.t ->
allow_lifting:bool ->
Flambda2_simplify.Simplified_named.t Flambda2_term_basics.Or_invalid.t
* Flambda2_simplify.Downwards_acc.t