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 parent = Parent.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
and extension = Extension.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
|
Parent.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
|
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
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 ]
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_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