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 Constructor : IdSig with type t = Id.path_constructor and type t_pv = Constructor.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
type t = [ Module.t_pv | ModuleType.t_pv | Type.t_pv | ClassType.t_pv | Value.t_pv ] id