Module Identifier.IdSource
type container_page_pv = [ | `Page of Odoc_model.Paths.Identifier.ContainerPage.t option * Odoc_model.Names.PageName.t
]and container_page =
Odoc_model.Paths.Identifier.ContainerPage.t_pv Odoc_model.Paths.Identifier.idtype leaf_page_pv = [ | `LeafPage of Odoc_model.Paths.Identifier.ContainerPage.t option * Odoc_model.Names.PageName.t
]The second argument is the filename.
type source_page =
Odoc_model.Paths.Identifier.SourcePage.t_pv Odoc_model.Paths.Identifier.idtype asset_file_pv = [ | `AssetFile of Odoc_model.Paths.Identifier.Page.t * Odoc_model.Names.AssetName.t
]The second argument is the filename.
type asset_file =
Odoc_model.Paths.Identifier.AssetFile.t_pv Odoc_model.Paths.Identifier.idtype source_location_pv = [ | `SourceLocationMod of Odoc_model.Paths.Identifier.SourcePage.t| `SourceLocation of Odoc_model.Paths.Identifier.SourcePage.t * Odoc_model.Names.DefName.t| `SourceLocationInternal of Odoc_model.Paths.Identifier.SourcePage.t * Odoc_model.Names.LocalName.t
]and source_location =
Odoc_model.Paths.Identifier.SourceLocation.t Odoc_model.Paths.Identifier.idtype odoc_id_pv = [ | Odoc_model.Paths.Identifier.Page.t_pv| Odoc_model.Paths.Identifier.SourcePage.t_pv| Odoc_model.Paths.Identifier.AssetFile.t_pv| `Root of Odoc_model.Paths.Identifier.ContainerPage.t option * Odoc_model.Names.ModuleName.t| `Implementation of Odoc_model.Names.ModuleName.t
]type signature_pv = [ | `Root of Odoc_model.Paths.Identifier.ContainerPage.t option * Odoc_model.Names.ModuleName.t| `Module of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleName.t| `Parameter of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleName.t| `Result of Odoc_model.Paths.Identifier.Signature.t| `ModuleType of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleTypeName.t
]type class_signature_pv = [ | `Class of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.TypeName.t| `ClassType of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.TypeName.t
]and class_signature =
Odoc_model.Paths.Identifier.ClassSignature.t_pv
Odoc_model.Paths.Identifier.idand field_parent =
Odoc_model.Paths.Identifier.FieldParent.t_pv Odoc_model.Paths.Identifier.idtype unboxed_field_parent_pv = Odoc_model.Paths.Identifier.DataType.t_pvand unboxed_field_parent =
Odoc_model.Paths.Identifier.UnboxedFieldParent.t_pv
Odoc_model.Paths.Identifier.idtype label_parent_pv = [ | Odoc_model.Paths.Identifier.FieldParent.t_pv| Odoc_model.Paths.Identifier.Page.t_pv| Odoc_model.Paths.Identifier.ClassSignature.t_pv
]and label_parent =
Odoc_model.Paths.Identifier.LabelParent.t_pv Odoc_model.Paths.Identifier.idtype root_module_pv = [ | `Root of Odoc_model.Paths.Identifier.ContainerPage.t option * Odoc_model.Names.ModuleName.t
]and root_module =
Odoc_model.Paths.Identifier.RootModule.t_pv Odoc_model.Paths.Identifier.idtype module_pv = [ | Odoc_model.Paths.Identifier.RootModule.t_pv| `Module of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleName.t| `Parameter of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleName.t
]type functor_parameter_pv = [ | `Parameter of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleName.t
]and functor_parameter =
Odoc_model.Paths.Identifier.FunctorParameter.t_pv
Odoc_model.Paths.Identifier.idand functor_result =
Odoc_model.Paths.Identifier.FunctorResult.t_pv Odoc_model.Paths.Identifier.idtype module_type_pv = [ | `ModuleType of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ModuleTypeName.t
]and module_type =
Odoc_model.Paths.Identifier.ModuleType.t_pv Odoc_model.Paths.Identifier.idtype constructor_pv = [ | `Constructor of Odoc_model.Paths.Identifier.DataType.t * Odoc_model.Names.ConstructorName.t
]and constructor =
Odoc_model.Paths.Identifier.Constructor.t_pv Odoc_model.Paths.Identifier.idtype unboxed_field_pv = [ | `UnboxedField of Odoc_model.Paths.Identifier.UnboxedFieldParent.t * Odoc_model.Names.UnboxedFieldName.t
]and unboxed_field =
Odoc_model.Paths.Identifier.UnboxedField.t_pv Odoc_model.Paths.Identifier.idtype extension_pv = [ | `Extension of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ExtensionName.t
]type extension_decl_pv = [ | `ExtensionDecl of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ExtensionName.t * Odoc_model.Names.ExtensionName.t
]and extension_decl =
Odoc_model.Paths.Identifier.ExtensionDecl.t_pv Odoc_model.Paths.Identifier.idtype exception_pv = [ | `Exception of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.ExceptionName.t
]and exception_ =
Odoc_model.Paths.Identifier.Exception.t_pv Odoc_model.Paths.Identifier.idtype class_type_pv = [ | `ClassType of Odoc_model.Paths.Identifier.Signature.t * Odoc_model.Names.TypeName.t
]and class_type =
Odoc_model.Paths.Identifier.ClassType.t_pv Odoc_model.Paths.Identifier.idtype instance_variable_pv = [ | `InstanceVariable of Odoc_model.Paths.Identifier.ClassSignature.t * Odoc_model.Names.InstanceVariableName.t
]and instance_variable =
Odoc_model.Paths.Identifier.InstanceVariable.t_pv
Odoc_model.Paths.Identifier.idtype non_src_pv = [ | Odoc_model.Paths.Identifier.Signature.t_pv| Odoc_model.Paths.Identifier.ClassSignature.t_pv| Odoc_model.Paths.Identifier.DataType.t_pv| Odoc_model.Paths.Identifier.FieldParent.t_pv| Odoc_model.Paths.Identifier.UnboxedFieldParent.t_pv| Odoc_model.Paths.Identifier.LabelParent.t_pv| Odoc_model.Paths.Identifier.Module.t_pv| Odoc_model.Paths.Identifier.FunctorParameter.t_pv| Odoc_model.Paths.Identifier.FunctorResult.t_pv| Odoc_model.Paths.Identifier.ModuleType.t_pv| Odoc_model.Paths.Identifier.Type.t_pv| Odoc_model.Paths.Identifier.Constructor.t_pv| Odoc_model.Paths.Identifier.Field.t_pv| Odoc_model.Paths.Identifier.UnboxedField.t_pv| Odoc_model.Paths.Identifier.Extension.t_pv| Odoc_model.Paths.Identifier.ExtensionDecl.t_pv| Odoc_model.Paths.Identifier.Exception.t_pv| Odoc_model.Paths.Identifier.Value.t_pv| Odoc_model.Paths.Identifier.Class.t_pv| Odoc_model.Paths.Identifier.ClassType.t_pv| Odoc_model.Paths.Identifier.Method.t_pv| Odoc_model.Paths.Identifier.InstanceVariable.t_pv| Odoc_model.Paths.Identifier.Label.t_pv| Odoc_model.Paths.Identifier.Page.t_pv
]and path_module =
Odoc_model.Paths.Identifier.Path.Module.t_pv Odoc_model.Paths.Identifier.idtype path_module_type = Odoc_model.Paths.Identifier.ModuleType.ttype path_type_pv = [ | Odoc_model.Paths.Identifier.Type.t_pv| Odoc_model.Paths.Identifier.Class.t_pv| Odoc_model.Paths.Identifier.ClassType.t_pv
]type path_value = Odoc_model.Paths.Identifier.Value.tand path_class_type =
Odoc_model.Paths.Identifier.Path.ClassType.t_pv
Odoc_model.Paths.Identifier.idtype fragment_module = Odoc_model.Paths.Identifier.Path.Module.ttype fragment_type = Odoc_model.Paths.Identifier.Path.Type.ttype reference_module = Odoc_model.Paths.Identifier.Path.Module.ttype reference_module_type = Odoc_model.Paths.Identifier.ModuleType.ttype reference_type = Odoc_model.Paths.Identifier.Path.Type.ttype reference_constructor =
[ Odoc_model.Paths.Identifier.Constructor.t_pv
| Odoc_model.Paths.Identifier.Extension.t_pv
| Odoc_model.Paths.Identifier.Exception.t_pv ]
Odoc_model.Paths.Identifier.idtype reference_field = Odoc_model.Paths.Identifier.Field.ttype reference_unboxed_field = Odoc_model.Paths.Identifier.UnboxedField.ttype reference_extension =
[ Odoc_model.Paths.Identifier.Extension.t_pv
| Odoc_model.Paths.Identifier.Exception.t_pv ]
Odoc_model.Paths.Identifier.idtype reference_extension_decl = Odoc_model.Paths.Identifier.ExtensionDecl.ttype reference_exception = Odoc_model.Paths.Identifier.Exception.ttype reference_value = Odoc_model.Paths.Identifier.Value.ttype reference_class = Odoc_model.Paths.Identifier.Class.ttype reference_class_type =
[ Odoc_model.Paths.Identifier.Class.t_pv
| Odoc_model.Paths.Identifier.ClassType.t_pv ]
Odoc_model.Paths.Identifier.idtype reference_method = Odoc_model.Paths.Identifier.Method.ttype reference_instance_variable =
Odoc_model.Paths.Identifier.InstanceVariable.ttype reference_label = Odoc_model.Paths.Identifier.Label.ttype reference_page = Odoc_model.Paths.Identifier.Page.t