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