Module `Rebuilt_static_const.Group`

type t

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

val empty : t

val create : rebuilt_static_const list -> t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

val to_named : t -> Flambda2_terms.Flambda.Named.t

This function may only be used when rebuilding terms (a fatal error will be produced otherwise).

val pieces_of_code_including_those_not_rebuilt : 
  t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t

This function returns dummy pieces of code for those not rebuilt. Such pieces of code will have all of the correct metadata but a body consisting solely of an Invalid expression. This seems reasonable because inlining is always disabled when in not-rebuilding-terms mode.

val pieces_of_code_for_cmx : 
  t ->
  Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.t

This function ignores Deleted code.

val map : t -> f:(rebuilt_static_const -> rebuilt_static_const) -> t

val fold_left : t -> init:'a -> f:('a -> rebuilt_static_const -> 'a) -> 'a

val to_list : t -> rebuilt_static_const list

map and fold_left should be used in preference, to avoid allocating intermediate lists.

val add : rebuilt_static_const -> t -> t

val concat : t -> t -> t

Module Rebuilt_static_const.Group

Module `Rebuilt_static_const.Group`