Module Flambda2_terms.Flambda_unit
The Flambda representation of a single compilation unit's code.
val print : Stdlib.Format.formatter -> Flambda2_terms.Flambda_unit.t -> unitval create :
return_continuation:Flambda2_identifiers.Continuation.t ->
exn_continuation:Flambda2_identifiers.Continuation.t ->
toplevel_my_region:Flambda2_identifiers.Variable.t ->
toplevel_my_ghost_region:Flambda2_identifiers.Variable.t ->
body:Flambda2_terms.Flambda.Expr.t ->
module_symbol:Flambda2_identifiers.Symbol.t ->
used_value_slots:
Flambda2_identifiers.Value_slot.Set.t Flambda2_lattices.Or_unknown.t ->
Flambda2_terms.Flambda_unit.tval return_continuation :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Continuation.tval exn_continuation :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Continuation.tval toplevel_my_region :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Variable.tval toplevel_my_ghost_region :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Variable.tval module_symbol :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Symbol.tval used_value_slots :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Value_slot.Set.t Flambda2_lattices.Or_unknown.tval with_used_value_slots :
Flambda2_terms.Flambda_unit.t ->
Flambda2_identifiers.Value_slot.Set.t ->
Flambda2_terms.Flambda_unit.tval body : Flambda2_terms.Flambda_unit.t -> Flambda2_terms.Flambda.Expr.t