Module `Flambda2_bound_identifiers.Bound_static`

The left-hand sides of Let-expressions that bind statically-allocated constants and pieces of code. Used via Bound_pattern in the term language.

module Pattern : sig ... end

type t

val empty : Flambda2_bound_identifiers.Bound_static.t

val create : 
  Flambda2_bound_identifiers.Bound_static.Pattern.t list ->
  Flambda2_bound_identifiers.Bound_static.t

All recursive cycles between the names bound by the provided pattern(s) must go through at least one code ID. (So for example the declaration of just a block that points to itself is forbidden.)

val singleton : 
  Flambda2_bound_identifiers.Bound_static.Pattern.t ->
  Flambda2_bound_identifiers.Bound_static.t

val to_list : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_bound_identifiers.Bound_static.Pattern.t list

val binds_code : Flambda2_bound_identifiers.Bound_static.t -> bool

val binds_symbols : Flambda2_bound_identifiers.Bound_static.t -> bool

val symbols_being_defined : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_identifiers.Symbol.Set.t

val code_being_defined : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_identifiers.Code_id.Set.t

val everything_being_defined : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_identifiers.Code_id_or_symbol.Set.t

val everything_being_defined_as_list : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_identifiers.Code_id_or_symbol.t list

val concat : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_bound_identifiers.Bound_static.t

val gc_roots : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_identifiers.Symbol.t list

val print : 
  Stdlib.Format.formatter ->
  Flambda2_bound_identifiers.Bound_static.t ->
  unit

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_bound_identifiers.Bound_static.t

val free_names : 
  Flambda2_bound_identifiers.Bound_static.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_bound_identifiers.Bound_static.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_bound_identifiers.Bound_static.t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S
  with type t := Flambda2_bound_identifiers.Bound_static.t

val ids_for_export : 
  Flambda2_bound_identifiers.Bound_static.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

Module Flambda2_bound_identifiers.Bound_static

Module `Flambda2_bound_identifiers.Bound_static`