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.

type t

val create : 
  return_continuation:Flambda2_identifiers.Continuation.t ->
  exn_continuation:Flambda2_identifiers.Continuation.t ->
  params:Bound_parameters.t ->
  my_closure:Flambda2_identifiers.Variable.t ->
  my_alloc_mode:Alloc_mode.For_applications.t ->
  my_depth:Flambda2_identifiers.Variable.t ->
  t

val return_continuation : t -> Flambda2_identifiers.Continuation.t

val exn_continuation : t -> Flambda2_identifiers.Continuation.t

val params : t -> Bound_parameters.t

val my_closure : t -> Flambda2_identifiers.Variable.t

val my_region : t -> Flambda2_identifiers.Variable.t option

val my_ghost_region : t -> Flambda2_identifiers.Variable.t option

val my_alloc_mode : t -> Alloc_mode.For_applications.t

val my_depth : t -> Flambda2_identifiers.Variable.t

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

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

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

Apply a renaming throughout a term.

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

val ids_for_export : t -> Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val print : Format.formatter -> t -> unit

val rename : t -> t

Freshen the given name.

val is_renamed_version_of : t -> 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 : t -> guaranteed_fresh: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_for_function

Module `Flambda2_bound_identifiers.Bound_for_function`