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 : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Lifted_constant.t ->
  unit

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

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

val create_set_of_closures : 
  Flambda2_simplify.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 ->
  Flambda2_simplify.Rebuilt_static_const.t ->
  Flambda2_simplify.Lifted_constant.t

val create_code : 
  Flambda2_identifiers.Code_id.t ->
  Flambda2_simplify.Rebuilt_static_const.t ->
  Flambda2_simplify.Lifted_constant.t

val create_definition : 
  Flambda2_simplify.Lifted_constant.Definition.t ->
  Flambda2_simplify.Lifted_constant.t

val definitions : 
  Flambda2_simplify.Lifted_constant.t ->
  Flambda2_simplify.Lifted_constant.Definition.t list

val bound_static : 
  Flambda2_simplify.Lifted_constant.t ->
  Flambda2_bound_identifiers.Bound_static.t

val defining_exprs : 
  Flambda2_simplify.Lifted_constant.t ->
  Flambda2_simplify.Rebuilt_static_const.Group.t

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

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

val concat : 
  Flambda2_simplify.Lifted_constant.t list ->
  Flambda2_simplify.Lifted_constant.t

val is_fully_static : Flambda2_simplify.Lifted_constant.t -> bool

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

val free_names_of_defining_exprs : 
  Flambda2_simplify.Lifted_constant.t ->
  Flambda2_nominal.Name_occurrences.t

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

Module Flambda2_simplify.Lifted_constant

Module `Flambda2_simplify.Lifted_constant`