Module `Flambda2_terms.Flambda_unit`

The Flambda representation of a single compilation unit's code.

type t

val print : Format.formatter -> t -> unit

val 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:Flambda.Expr.t ->
  module_symbol:Flambda2_identifiers.Symbol.t ->
  used_value_slots:
    Flambda2_identifiers.Value_slot.Set.t Flambda2_lattices.Or_unknown.t ->
  t

val return_continuation : t -> Flambda2_identifiers.Continuation.t

val exn_continuation : t -> Flambda2_identifiers.Continuation.t

val toplevel_my_region : t -> Flambda2_identifiers.Variable.t

val toplevel_my_ghost_region : t -> Flambda2_identifiers.Variable.t

val module_symbol : t -> Flambda2_identifiers.Symbol.t

val used_value_slots : 
  t ->
  Flambda2_identifiers.Value_slot.Set.t Flambda2_lattices.Or_unknown.t

val with_used_value_slots : t -> Flambda2_identifiers.Value_slot.Set.t -> t

val body : t -> Flambda.Expr.t

val with_body : t -> Flambda.Expr.t -> t

Module Flambda2_terms.Flambda_unit

Module `Flambda2_terms.Flambda_unit`