Identifier.Id
Sourcetype page_pv = [
| ContainerPage.t_pv
| `LeafPage of ContainerPage.t option * Names.PageName.t
]
The second argument is the filename.
type source_location_pv = [
| `SourceLocationMod of SourcePage.t
| `SourceLocation of SourcePage.t * Names.DefName.t
| `SourceLocationInternal of SourcePage.t * Names.LocalName.t
]
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
]
type class_signature_pv = [
| `Class of Signature.t * Names.ClassName.t
| `ClassType of Signature.t * Names.ClassTypeName.t
]
type datatype_pv = [
| `Type of Signature.t * Names.TypeName.t
| `CoreType of Names.TypeName.t
]
type module_pv = [
| RootModule.t_pv
| `Module of Signature.t * Names.ModuleName.t
| `Parameter of Signature.t * Names.ModuleName.t
]
type extension_decl_pv = [
| `ExtensionDecl of Signature.t * Names.ExtensionName.t * Names.ExtensionName.t
]
type exception_pv = [
| `Exception of Signature.t * Names.ExceptionName.t
| `CoreException of Names.ExceptionName.t
]
type instance_variable_pv = [
| `InstanceVariable of ClassSignature.t * Names.InstanceVariableName.t
]
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
]
type path_any =
[ Path.Module.t_pv
| ModuleType.t_pv
| Path.Type.t_pv
| Path.ClassType.t_pv
| Value.t_pv ]
id