Id_types
module type BaseId = sig ... end
Generic identifier type
module type Id = sig ... end
module type UnitId = sig ... end
Fully qualified identifiers
module UnitId (_ : Id) (Compilation_unit : Identifiable.Thing) : UnitId with module Compilation_unit := Compilation_unit