Parameter Make.Bindable
include Flambda2_nominal.Contains_names.S with type t := Bindable.t
val free_names : Bindable.t -> Flambda2_nominal.Name_occurrences.tCompute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)
val apply_renaming : Bindable.t -> Flambda2_nominal.Renaming.t -> Bindable.tApply a renaming throughout a term.
include Flambda2_nominal.Contains_ids.S with type t := Bindable.t
val ids_for_export : Bindable.t -> Flambda2_nominal.Ids_for_export.tGather all table identifiers to export them.
val print : Stdlib.Format.formatter -> Bindable.t -> unitval rename : Bindable.t -> Bindable.tFreshen the given name.
val is_renamed_version_of : Bindable.t -> Bindable.t -> boolEquivalence 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 :
Bindable.t ->
guaranteed_fresh:Bindable.t ->
Flambda2_nominal.Renaming.trenaming 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).