Module Identifier.Path

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