Module Flambda2_bound_identifiers.Bound_continuations
One or more Continuations, in an ordered list, equipped with operations that mean such list can be used in binding position within a Name_abstraction value.
val create :
Flambda2_identifiers.Continuation.t list ->
Flambda2_bound_identifiers.Bound_continuations.tinclude Flambda2_nominal.Bindable.S
with type t := Flambda2_bound_identifiers.Bound_continuations.t
include Flambda2_nominal.Contains_names.S
with type t := Flambda2_bound_identifiers.Bound_continuations.t
val free_names :
Flambda2_bound_identifiers.Bound_continuations.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 :
Flambda2_bound_identifiers.Bound_continuations.t ->
Flambda2_nominal.Renaming.t ->
Flambda2_bound_identifiers.Bound_continuations.tApply a renaming throughout a term.
include Flambda2_nominal.Contains_ids.S
with type t := Flambda2_bound_identifiers.Bound_continuations.t
val ids_for_export :
Flambda2_bound_identifiers.Bound_continuations.t ->
Flambda2_nominal.Ids_for_export.tGather all table identifiers to export them.
val print :
Stdlib.Format.formatter ->
Flambda2_bound_identifiers.Bound_continuations.t ->
unitval rename :
Flambda2_bound_identifiers.Bound_continuations.t ->
Flambda2_bound_identifiers.Bound_continuations.tFreshen the given name.
val is_renamed_version_of :
Flambda2_bound_identifiers.Bound_continuations.t ->
Flambda2_bound_identifiers.Bound_continuations.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 :
Flambda2_bound_identifiers.Bound_continuations.t ->
guaranteed_fresh:Flambda2_bound_identifiers.Bound_continuations.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).