Module `Flambda2_nominal`

module Bindable : sig ... end

The signature of "name-like things" that may occur in binding position inside Name_abstraction constructs.

module Contains_ids : sig ... end

module Contains_names : sig ... end

module Ids_for_export : sig ... end

module Name_abstraction : sig ... end

module Name_mode : sig ... end

The modalities of names, which describe the different contexts in which names may occur.

module Name_occurrences : sig ... end

A structure for counting name-like entities that occur free in terms or types.

module Num_occurrences : sig ... end

module Permutation : sig ... end

Generic module for handling permutations.

module Renaming : sig ... end

Handling of permutations and import freshening upon all kinds of bindable names and other identifiers (e.g. constants).

Module Flambda2_nominal