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