Module `Flambda2_bound_identifiers.Bound_var`

Variables with name modes, as occur on the left-hand sides of Let-expressions (see Bound_pattern).

type t

val create : 
  Flambda2_identifiers.Variable.t ->
  Flambda2_identifiers.Flambda_debug_uid.t ->
  Flambda2_nominal.Name_mode.t ->
  Flambda2_bound_identifiers.Bound_var.t

val var : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_identifiers.Variable.t

val debug_uid : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_identifiers.Flambda_debug_uid.t

val name_mode : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_nominal.Name_mode.t

val with_name_mode : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_nominal.Name_mode.t ->
  Flambda2_bound_identifiers.Bound_var.t

include Flambda2_nominal.Bindable.S
  with type t := Flambda2_bound_identifiers.Bound_var.t

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

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

Apply a renaming throughout a term.

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

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

Gather all table identifiers to export them.

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

val rename : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_bound_identifiers.Bound_var.t

Freshen the given name.

val is_renamed_version_of : 
  Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_bound_identifiers.Bound_var.t ->
  bool

Equivalence relation on renamed variables.

is_renamed_version_of x y is true if there exists a bindable z such that x and y are renamed versions of z.

Note: this function can return true in other cases (if there are some name collisions for instance), this is (at least currently) only used for a sanity check, so users should not rely too much on its expected semantics.

val renaming : 
  Flambda2_bound_identifiers.Bound_var.t ->
  guaranteed_fresh:Flambda2_bound_identifiers.Bound_var.t ->
  Flambda2_nominal.Renaming.t

renaming stale ~guaranteed_fresh:fresh is to create a renaming that turns all occurrences of the name stale into fresh (in a capture-avoiding manner, but that is inherent in Renaming).

Module Flambda2_bound_identifiers.Bound_var

Module `Flambda2_bound_identifiers.Bound_var`