module Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endmodule ClassType : sig ... endtype t = Paths_types.Identifier.path_anyIdentifier.Pathmodule Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endmodule ClassType : sig ... endtype t = Paths_types.Identifier.path_any