Module `Lifted_constant.Definition`

type descr = private

| Code of Flambda2_identifiers.Code_id.t
| Set_of_closures of {
1. denv : Downwards_env.t;
2. closure_symbols_with_types : (Flambda2_identifiers.Symbol.t * Flambda2_types.t) Flambda2_identifiers.Function_slot.Lmap.t;
3. symbol_projections : Flambda2_term_basics.Symbol_projection.t Flambda2_identifiers.Variable.Map.t;
}
| Block_like of {
1. symbol : Flambda2_identifiers.Symbol.t;
2. denv : Downwards_env.t;
3. ty : Flambda2_types.t;
4. symbol_projections : Flambda2_term_basics.Symbol_projection.t Flambda2_identifiers.Variable.Map.t;
}

type t

val descr : t -> descr

val defining_expr : t -> Rebuilt_static_const.t

val denv : t -> Downwards_env.t option

val code : Flambda2_identifiers.Code_id.t -> Rebuilt_static_const.t -> t

val set_of_closures : 
  Downwards_env.t ->
  closure_symbols_with_types:
    (Flambda2_identifiers.Symbol.t * Flambda2_types.t)
      Flambda2_identifiers.Function_slot.Lmap.t ->
  symbol_projections:
    Flambda2_term_basics.Symbol_projection.t
      Flambda2_identifiers.Variable.Map.t ->
  Rebuilt_static_const.t ->
  t

val block_like : 
  Downwards_env.t ->
  Flambda2_identifiers.Symbol.t ->
  Flambda2_types.t ->
  symbol_projections:
    Flambda2_term_basics.Symbol_projection.t
      Flambda2_identifiers.Variable.Map.t ->
  Rebuilt_static_const.t ->
  t

val bound_static : t -> Flambda2_bound_identifiers.Bound_static.t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

val symbol_projections : 
  t ->
  Flambda2_term_basics.Symbol_projection.t Flambda2_identifiers.Variable.Map.t

Module Lifted_constant.Definition

Module `Lifted_constant.Definition`