Module `Flambda2_simplify.Lifted_constant`

Description of a group of statically-allocated values discovered during simplification.

The name of this module is unfortunately slightly misleading: these statically-allocated values may be inconstant in the sense that they may require initialisation at runtime before they can be read from.

module Definition : sig ... end

type t

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

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

The creation functions take the types of symbols to avoid re-inferring them.

val create_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 create_code : Flambda2_identifiers.Code_id.t -> Rebuilt_static_const.t -> t

val create_definition : Definition.t -> t

val definitions : t -> Definition.t list

val bound_static : t -> Flambda2_bound_identifiers.Bound_static.t

val defining_exprs : t -> Rebuilt_static_const.Group.t

val types_of_symbols : 
  t ->
  (Downwards_env.t * Flambda2_types.t) Flambda2_identifiers.Symbol.Map.t

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

val concat : t list -> t

val is_fully_static : t -> bool

val all_defined_symbols : t -> Flambda2_identifiers.Symbol.Set.t

val free_names_of_defining_exprs : t -> Flambda2_nominal.Name_occurrences.t

val apply_projection : 
  t ->
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_term_basics.Simple.t option

Module Flambda2_simplify.Lifted_constant

Module `Flambda2_simplify.Lifted_constant`