Identifier.Pathmodule ModuleType :
IdSig with type t = ModuleType.t and type t_pv = ModuleType.t_pvmodule Value : IdSig with type t = Id.path_value and type t_pv = Value.t_pvmodule ClassType :
IdSig with type t = ClassType.t and type t_pv = ClassType.t_pvtype t =
[ Module.t_pv | ModuleType.t_pv | Type.t_pv | ClassType.t_pv | Value.t_pv ]
id