Module `Flambda2_simplify.Rebuilt_static_const`

Static constants, equipped with free name information, as rebuilt by the simplifier. Definitions of the constants themselves are not kept when not rebuilding terms, but some of the metadata is.

type t

type rebuilt_static_const = t

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

val cost_metrics : t -> Flambda2_terms.Cost_metrics.t

val create_code : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  params_and_body:Rebuilt_expr.Function_params_and_body.t ->
  free_names_of_params_and_body:Flambda2_nominal.Name_occurrences.t ->
  (t * Flambda2_terms.Code.t option) Flambda2_terms.Code_metadata.create_type

val create_code' : Flambda2_terms.Code.t -> t

val create_set_of_closures : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  find_code_metadata:
    (Flambda2_identifiers.Code_id.t -> Flambda2_terms.Code_metadata.t) ->
  Flambda2_terms.Flambda.Set_of_closures.t ->
  t

val create_block : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_kinds.Tag.Scannable.t ->
  Flambda2_terms.Mutability.t ->
  Flambda2_kinds.Flambda_kind.Scannable_block_shape.t ->
  fields:Flambda2_term_basics.Simple.With_debuginfo.t list ->
  t

val create_boxed_float32 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Numeric_types.Float32_by_bit_pattern.t
    Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_float : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Numeric_types.Float_by_bit_pattern.t
    Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_int32 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Int32.t Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_int64 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Int64.t Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_nativeint : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Targetint_32_64.t Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_vec128 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Vector_types.Vec128.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_vec256 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Vector_types.Vec256.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t ->
  t

val create_boxed_vec512 : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  machine_width:Target_system.Machine_width.t ->
  Flambda2_numbers.Vector_types.Vec512.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t ->
  t

val create_immutable_float_block : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Numeric_types.Float_by_bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_float_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Numeric_types.Float_by_bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_float32_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Numeric_types.Float32_by_bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_int_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Target_ocaml_int.t Flambda2_term_basics.Or_variable.t list ->
  t

val create_immutable_int8_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Numeric_types.Int8.t Flambda2_term_basics.Or_variable.t list ->
  t

val create_immutable_int16_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Numeric_types.Int16.t Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_int32_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Int32.t Flambda2_term_basics.Or_variable.t list ->
  t

val create_immutable_int64_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Int64.t Flambda2_term_basics.Or_variable.t list ->
  t

val create_immutable_nativeint_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Targetint_32_64.t Flambda2_term_basics.Or_variable.t list ->
  t

val create_immutable_vec128_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Vector_types.Vec128.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_vec256_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Vector_types.Vec256.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_vec512_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_numbers.Vector_types.Vec512.Bit_pattern.t
    Flambda2_term_basics.Or_variable.t
    list ->
  t

val create_immutable_value_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_term_basics.Simple.With_debuginfo.t list ->
  t

val create_empty_array : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  Flambda2_term_basics.Empty_array_kind.t ->
  t

val create_mutable_string : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  initial_value:string ->
  t

val create_immutable_string : 
  Flambda2_simplify_shared.Are_rebuilding_terms.t ->
  string ->
  t

val map_set_of_closures : 
  t ->
  find_code_metadata:
    (Flambda2_identifiers.Code_id.t -> Flambda2_terms.Code_metadata.t) ->
  f:
    (Flambda2_terms.Flambda.Set_of_closures.t ->
      Flambda2_terms.Flambda.Set_of_closures.t) ->
  t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

val is_block : t -> bool

val is_set_of_closures : t -> bool

val is_code : t -> bool

val is_fully_static : t -> bool

val make_code_deleted : 
  t ->
  if_code_id_is_member_of:Flambda2_identifiers.Code_id.Set.t ->
  t

val to_const : t -> Flambda2_terms.Flambda.Static_const_or_code.t option

This will return None if terms are not being rebuilt.

module Group : sig ... end

Module Flambda2_simplify.Rebuilt_static_const

Module `Flambda2_simplify.Rebuilt_static_const`