Identifier.Id
and container_page = ContainerPage.t_pv id
and source_dir = SourceDir.t_pv id
The second argument is the filename.
type source_page = SourcePage.t_pv id
The second argument is the filename.
type asset_file = AssetFile.t_pv id
type source_location_pv = [
| `SourceLocationMod of SourcePage.t
| `SourceLocation of SourcePage.t * Names.DefName.t
| `SourceLocationInternal of SourcePage.t * Names.LocalName.t
]
and source_location = SourceLocation.t id
and odoc_id = OdocId.t_pv id
type signature_pv = [
| `Root of ContainerPage.t option * Names.ModuleName.t
| `Module of Signature.t * Names.ModuleName.t
| `Parameter of Signature.t * Names.ModuleName.t
| `Result of Signature.t
| `ModuleType of Signature.t * Names.ModuleTypeName.t
]
and signature = Signature.t_pv id
type class_signature_pv = [
| `Class of Signature.t * Names.ClassName.t
| `ClassType of Signature.t * Names.ClassTypeName.t
]
and class_signature = ClassSignature.t_pv id
and datatype = DataType.t_pv id
and field_parent = FieldParent.t_pv id
and label_parent = LabelParent.t_pv id
and root_module = RootModule.t_pv id
type module_pv = [
| RootModule.t_pv
| `Module of Signature.t * Names.ModuleName.t
| `Parameter of Signature.t * Names.ModuleName.t
]
and module_ = Module.t_pv id
and functor_parameter = FunctorParameter.t_pv id
and functor_result = FunctorResult.t_pv id
and module_type = ModuleType.t_pv id
and constructor = Constructor.t_pv id
and field = Field.t_pv id
type extension_decl_pv = [
| `ExtensionDecl of Signature.t * Names.ExtensionName.t * Names.ExtensionName.t
]
and extension = Extension.t_pv id
and extension_decl = ExtensionDecl.t_pv id
type exception_pv = [
| `Exception of Signature.t * Names.ExceptionName.t
| `CoreException of Names.ExceptionName.t
]
and exception_ = Exception.t_pv id
and value = Value.t_pv id
and class_ = Class.t_pv id
and class_type = ClassType.t_pv id
and method_ = Method.t_pv id
type instance_variable_pv = [
| `InstanceVariable of ClassSignature.t * Names.InstanceVariableName.t
]
and instance_variable = InstanceVariable.t_pv id
and label = Label.t_pv id
type non_src_pv = [
| Signature.t_pv
| ClassSignature.t_pv
| DataType.t_pv
| FieldParent.t_pv
| LabelParent.t_pv
| Module.t_pv
| FunctorParameter.t_pv
| FunctorResult.t_pv
| ModuleType.t_pv
| Type.t_pv
| Constructor.t_pv
| Field.t_pv
| Extension.t_pv
| ExtensionDecl.t_pv
| Exception.t_pv
| Value.t_pv
| Class.t_pv
| ClassType.t_pv
| Method.t_pv
| InstanceVariable.t_pv
| Label.t_pv
| Page.t_pv
]
and non_src = NonSrc.t_pv id
and path_module = Path.Module.t_pv id
type path_module_type = ModuleType.t
and path_type = Path.Type.t_pv id
type path_datatype_pv = Type.t_pv
and path_datatype = Path.DataType.t_pv id
type path_constructor = Constructor.t
type path_value = Value.t
and path_class_type = Path.ClassType.t_pv id
type path_any =
[ Path.Module.t_pv
| ModuleType.t_pv
| Path.Type.t_pv
| Path.ClassType.t_pv
| Value.t_pv ]
id
type fragment_module = Path.Module.t
type fragment_type = Path.Type.t
type reference_module = Path.Module.t
type reference_module_type = ModuleType.t
type reference_type = Path.Type.t
type reference_constructor =
[ Constructor.t_pv | Extension.t_pv | Exception.t_pv ] id
type reference_field = Field.t
type reference_extension = [ Extension.t_pv | Exception.t_pv ] id
type reference_extension_decl = ExtensionDecl.t
type reference_exception = Exception.t
type reference_value = Value.t
type reference_class = Class.t
type reference_class_type = [ Class.t_pv | ClassType.t_pv ] id
type reference_method = Method.t
type reference_instance_variable = InstanceVariable.t
type reference_label = Label.t
type reference_page = Page.t