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

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