Module `Flambda2_bound_identifiers`

module Bound_continuation : sig ... end

A Continuation equipped with operations that mean it can be used in binding position within a Name_abstraction value.

module Bound_continuations : sig ... end

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.

module Bound_for_function : sig ... end

The identifiers (implicit and explicit function parameters, together with return and exception continuations) bound at a lambda in the term language.

module Bound_name : sig ... end

A Name equipped with the extra information required to have it in binding position.

module Bound_parameter : sig ... end

module Bound_parameters : sig ... end

module Bound_pattern : sig ... end

Things that a Let-expression binds. If a Let-expression binds more than one name, all of those names have the same kind.

module Bound_static : sig ... end

The left-hand sides of Let-expressions that bind statically-allocated constants and pieces of code. Used via Bound_pattern in the term language.

module Bound_var : sig ... end

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

Module Flambda2_bound_identifiers

Module `Flambda2_bound_identifiers`