Module Flambda2_bound_identifiers.Bound_for_function
The identifiers (implicit and explicit function parameters, together with return and exception continuations) bound at a lambda in the term language.
val create :
return_continuation:Flambda2_identifiers.Continuation.t ->
exn_continuation:Flambda2_identifiers.Continuation.t ->
params:Flambda2_bound_identifiers.Bound_parameters.t ->
my_closure:Flambda2_identifiers.Variable.t ->
my_region:Flambda2_identifiers.Variable.t option ->
my_ghost_region:Flambda2_identifiers.Variable.t option ->
my_depth:Flambda2_identifiers.Variable.t ->
Flambda2_bound_identifiers.Bound_for_function.tval return_continuation :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_identifiers.Continuation.tval exn_continuation :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_identifiers.Continuation.tval my_closure :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_identifiers.Variable.tval my_region :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_identifiers.Variable.t optionval my_ghost_region :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_identifiers.Variable.t optioninclude Flambda2_nominal.Bindable.S
with type t := Flambda2_bound_identifiers.Bound_for_function.t
include Flambda2_nominal.Contains_names.S
with type t := Flambda2_bound_identifiers.Bound_for_function.t
val free_names :
Flambda2_bound_identifiers.Bound_for_function.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_for_function.t ->
Flambda2_nominal.Renaming.t ->
Flambda2_bound_identifiers.Bound_for_function.tApply a renaming throughout a term.
include Flambda2_nominal.Contains_ids.S
with type t := Flambda2_bound_identifiers.Bound_for_function.t
val ids_for_export :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_nominal.Ids_for_export.tGather all table identifiers to export them.
val print :
Stdlib.Format.formatter ->
Flambda2_bound_identifiers.Bound_for_function.t ->
unitval rename :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_bound_identifiers.Bound_for_function.tFreshen the given name.
val is_renamed_version_of :
Flambda2_bound_identifiers.Bound_for_function.t ->
Flambda2_bound_identifiers.Bound_for_function.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_for_function.t ->
guaranteed_fresh:Flambda2_bound_identifiers.Bound_for_function.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).