Module Rebuilt_static_const.Group
val print :
Stdlib.Format.formatter ->
Flambda2_simplify.Rebuilt_static_const.Group.t ->
unitval empty : Flambda2_simplify.Rebuilt_static_const.Group.tval free_names :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
Flambda2_nominal.Name_occurrences.tval to_named :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
Flambda2_terms.Flambda.Named.tThis function may only be used when rebuilding terms (a fatal error will be produced otherwise).
val pieces_of_code_including_those_not_rebuilt :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.tThis 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 :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
Flambda2_terms.Code.t Flambda2_identifiers.Code_id.Map.tThis function ignores Deleted code.
val fold_left :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
init:'a ->
f:('a -> Flambda2_simplify.Rebuilt_static_const.rebuilt_static_const -> 'a) ->
'aval to_list :
Flambda2_simplify.Rebuilt_static_const.Group.t ->
Flambda2_simplify.Rebuilt_static_const.rebuilt_static_const listmap and fold_left should be used in preference, to avoid allocating intermediate lists.