Identifier.Pathmodule ModuleType :
IdSig with type t = ModuleType.t and type t_pv = ModuleType.t_pvmodule DataType : IdSig with type t = DataType.t and type t_pv = DataType.t_pvmodule Constructor :
IdSig with type t = Id.path_constructor and type t_pv = Constructor.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