Maps.pathmethod virtual identifier : Odoc_model.Paths.Identifier.t ->
Odoc_model.Paths.Identifier.tmethod path_resolved : Odoc_model.Paths.Path.Resolved.t ->
Odoc_model.Paths.Path.Resolved.tmethod path_resolved_module_name : Odoc_model.Names.ModuleName.t ->
Odoc_model.Names.ModuleName.tmethod path_resolved_module_type_name : Odoc_model.Names.ModuleTypeName.t ->
Odoc_model.Names.ModuleTypeName.tmethod path_resolved_type_name : Odoc_model.Names.TypeName.t ->
Odoc_model.Names.TypeName.tmethod path_resolved_class_name : Odoc_model.Names.ClassName.t ->
Odoc_model.Names.ClassName.tmethod path_resolved_class_type_name : Odoc_model.Names.ClassTypeName.t ->
Odoc_model.Names.ClassTypeName.tmethod path_resolved_module : Odoc_model.Paths.Path.Resolved.Module.t ->
Odoc_model.Paths.Path.Resolved.Module.tmethod path_resolved_module_type : Odoc_model.Paths.Path.Resolved.ModuleType.t ->
Odoc_model.Paths.Path.Resolved.ModuleType.tmethod path_resolved_type : Odoc_model.Paths.Path.Resolved.Type.t ->
Odoc_model.Paths.Path.Resolved.Type.tmethod path_resolved_class_type : Odoc_model.Paths.Path.Resolved.ClassType.t ->
Odoc_model.Paths.Path.Resolved.ClassType.tmethod path : Odoc_model.Paths.Path.t -> Odoc_model.Paths.Path.tmethod path_module : Odoc_model.Paths.Path.Module.t ->
Odoc_model.Paths.Path.Module.tmethod path_module_type : Odoc_model.Paths.Path.ModuleType.t ->
Odoc_model.Paths.Path.ModuleType.tmethod path_type : Odoc_model.Paths.Path.Type.t -> Odoc_model.Paths.Path.Type.tmethod path_class_type : Odoc_model.Paths.Path.ClassType.t ->
Odoc_model.Paths.Path.ClassType.t