module Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endmodule ClassType : sig ... endtype t = Paths_types.Resolved_path.anyval identifier : t -> Identifier.tPath.Resolvedmodule Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endmodule ClassType : sig ... endtype t = Paths_types.Resolved_path.anyval identifier : t -> Identifier.t