val read_module : t -> Path.t -> Paths.Path.Module.tval read_module_type : t -> Path.t -> Paths.Path.ModuleType.tval read_type : t -> Path.t -> Paths.Path.Type.tval read_class_type : t -> Path.t -> Paths.Path.ClassType.tIdent_env.Pathval read_module : t -> Path.t -> Paths.Path.Module.tval read_module_type : t -> Path.t -> Paths.Path.ModuleType.tval read_type : t -> Path.t -> Paths.Path.Type.tval read_class_type : t -> Path.t -> Paths.Path.ClassType.t