Module `Flambda.Static_const_group`

type t = Flambda2_terms.Flambda.static_const_group

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_terms.Flambda.Static_const_group.t

val free_names : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Flambda.Static_const_group.t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S
  with type t := Flambda2_terms.Flambda.Static_const_group.t

val ids_for_export : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val empty : Flambda2_terms.Flambda.Static_const_group.t

val create : 
  Flambda2_terms.Flambda.Static_const_or_code.t list ->
  Flambda2_terms.Flambda.Static_const_group.t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_terms.Flambda.Static_const_group.t ->
  unit

val to_list : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_terms.Flambda.Static_const_or_code.t list

val concat : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_terms.Flambda.Static_const_group.t

val map : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  f:
    (Flambda2_terms.Flambda.Static_const_or_code.t ->
      Flambda2_terms.Flambda.Static_const_or_code.t) ->
  Flambda2_terms.Flambda.Static_const_group.t

val match_against_bound_static : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_bound_identifiers.Bound_static.t ->
  init:'a ->
  code:
    ('a ->
      Flambda2_identifiers.Code_id.t ->
      Flambda2_terms.Flambda.Function_params_and_body.t Flambda2_terms.Code0.t ->
      'a) ->
  deleted_code:('a -> Flambda2_identifiers.Code_id.t -> 'a) ->
  set_of_closures:
    ('a ->
      closure_symbols:
        Flambda2_identifiers.Symbol.t Flambda2_identifiers.Function_slot.Lmap.t ->
      Flambda2_terms.Set_of_closures.t ->
      'a) ->
  block_like:
    ('a ->
      Flambda2_identifiers.Symbol.t ->
      Flambda2_terms.Static_const.t ->
      'a) ->
  'a

val pieces_of_code : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_terms.Flambda.Function_params_and_body.t Flambda2_terms.Code0.t
    Flambda2_identifiers.Code_id.Map.t

This function ignores Deleted code.

val pieces_of_code' : 
  Flambda2_terms.Flambda.Static_const_group.t ->
  Flambda2_terms.Flambda.Function_params_and_body.t Flambda2_terms.Code0.t list

This function ignores Deleted code.

val is_fully_static : Flambda2_terms.Flambda.Static_const_group.t -> bool

Module Flambda.Static_const_group

Module `Flambda.Static_const_group`