Id_types (ocaml.Id

module type BaseId = sig ... end

Generic identifier type

module type Id = sig ... end

module type UnitId = sig ... end

Fully qualified identifiers

module Id () : Id

module UnitId (_ : Id) (Compilation_unit : Identifiable.Thing) : UnitId with module Compilation_unit := Compilation_unit