Module Identifier.PathSource

Sourcemodule Module : IdSig with type t = Module.t and type t_pv = Module.t_pv
Sourcemodule ModuleType : IdSig with type t = ModuleType.t and type t_pv = ModuleType.t_pv
Sourcemodule Type : IdSig with type t = Type.t and type t_pv = Type.t_pv
Sourcemodule DataType : IdSig with type t = DataType.t and type t_pv = DataType.t_pv
Sourcemodule Value : IdSig with type t = Id.path_value and type t_pv = Value.t_pv
Sourcemodule ClassType : IdSig with type t = ClassType.t and type t_pv = ClassType.t_pv