Identifier.Path
module Module : sig ... end
module ModuleType : sig ... end
module Type : sig ... end
module ClassType : sig ... end
type t = [ Module.t_pv | ModuleType.t_pv | Type.t_pv | ClassType.t_pv ] id