Id_types
module type BaseId = sig ... end
module type Id = sig ... end
module type UnitId = sig ... end
module Id () : Id
module UnitId (_ : Id) (Compilation_unit : Identifiable.Thing) : sig ... end