Identifier.Path
module ModuleType :
IdSig with type t = ModuleType.t and type t_pv = ModuleType.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 ] id