Module Identifier.IdSource

Sourcetype container_page_pv = [
  1. | `Page of ContainerPage.t option * Names.PageName.t
]
Sourceand container_page = ContainerPage.t_pv id
Sourcetype page_pv = [
  1. | ContainerPage.t_pv
  2. | `LeafPage of ContainerPage.t option * Names.PageName.t
]
Sourceand page = Page.t_pv id
Sourcetype source_dir_pv = [
  1. | ContainerPage.t_pv
  2. | `SourceDir of SourceDir.t * string
]
Sourceand source_dir = SourceDir.t_pv id
Sourcetype source_page_pv = [
  1. | `SourcePage of SourceDir.t * string
]

The second argument is the filename.

Sourcetype source_page = SourcePage.t_pv id
Sourcetype source_location_pv = [
  1. | `SourceLocationMod of SourcePage.t
  2. | `SourceLocation of SourcePage.t * Names.DefName.t
]
Sourceand source_location = SourceLocation.t id
Sourcetype odoc_id_pv = [
  1. | Page.t_pv
  2. | `Root of ContainerPage.t option * Names.ModuleName.t
]
Sourceand odoc_id = OdocId.t_pv id
Sourcetype signature_pv = [
  1. | `Root of ContainerPage.t option * Names.ModuleName.t
  2. | `Module of Signature.t * Names.ModuleName.t
  3. | `Parameter of Signature.t * Names.ModuleName.t
  4. | `Result of Signature.t
  5. | `ModuleType of Signature.t * Names.ModuleTypeName.t
]
Sourceand signature = Signature.t_pv id
Sourcetype class_signature_pv = [
  1. | `Class of Signature.t * Names.ClassName.t
  2. | `ClassType of Signature.t * Names.ClassTypeName.t
]
Sourceand class_signature = ClassSignature.t_pv id
Sourcetype datatype_pv = [
  1. | `Type of Signature.t * Names.TypeName.t
  2. | `CoreType of Names.TypeName.t
]
Sourceand datatype = DataType.t_pv id
Sourceand parent = Parent.t_pv id
Sourcetype label_parent_pv = [
  1. | Parent.t_pv
  2. | Page.t_pv
]
Sourceand label_parent = LabelParent.t_pv id
Sourcetype root_module_pv = [
  1. | `Root of ContainerPage.t option * Names.ModuleName.t
]
Sourceand root_module = RootModule.t_pv id
Sourcetype module_pv = [
  1. | RootModule.t_pv
  2. | `Module of Signature.t * Names.ModuleName.t
  3. | `Parameter of Signature.t * Names.ModuleName.t
]
Sourceand module_ = Module.t_pv id
Sourcetype functor_parameter_pv = [
  1. | `Parameter of Signature.t * Names.ModuleName.t
]
Sourceand functor_parameter = FunctorParameter.t_pv id
Sourcetype functor_result_pv = [
  1. | `Result of Signature.t
]
Sourceand functor_result = FunctorResult.t_pv id
Sourcetype module_type_pv = [
  1. | `ModuleType of Signature.t * Names.ModuleTypeName.t
]
Sourceand module_type = ModuleType.t_pv id
Sourcetype type_pv = [
  1. | `Type of Signature.t * Names.TypeName.t
  2. | `CoreType of Names.TypeName.t
]
Sourceand type_ = Type.t_pv id
Sourcetype constructor_pv = [
  1. | `Constructor of Type.t * Names.ConstructorName.t
]
Sourceand constructor = Constructor.t_pv id
Sourcetype field_pv = [
  1. | `Field of Parent.t * Names.FieldName.t
]
Sourceand field = Field.t_pv id
Sourcetype extension_pv = [
  1. | `Extension of Signature.t * Names.ExtensionName.t
]
Sourceand extension = Extension.t_pv id
Sourcetype exception_pv = [
  1. | `Exception of Signature.t * Names.ExceptionName.t
  2. | `CoreException of Names.ExceptionName.t
]
Sourceand exception_ = Exception.t_pv id
Sourcetype value_pv = [
  1. | `Value of Signature.t * Names.ValueName.t
]
Sourceand value = Value.t_pv id
Sourcetype class_pv = [
  1. | `Class of Signature.t * Names.ClassName.t
]
Sourceand class_ = Class.t_pv id
Sourcetype class_type_pv = [
  1. | `ClassType of Signature.t * Names.ClassTypeName.t
]
Sourceand class_type = ClassType.t_pv id
Sourcetype method_pv = [
  1. | `Method of ClassSignature.t * Names.MethodName.t
]
Sourceand method_ = Method.t_pv id
Sourcetype instance_variable_pv = [
  1. | `InstanceVariable of ClassSignature.t * Names.InstanceVariableName.t
]
Sourceand instance_variable = InstanceVariable.t_pv id
Sourcetype label_pv = [
  1. | `Label of LabelParent.t * Names.LabelName.t
]
Sourceand label = Label.t_pv id
Sourceand non_src = NonSrc.t_pv id
Sourceand any = t_pv id
Sourceand path_module = Path.Module.t_pv id
Sourcetype path_module_type = ModuleType.t
Sourcetype path_type_pv = [
  1. | Type.t_pv
  2. | Class.t_pv
  3. | ClassType.t_pv
]
Sourceand path_type = Path.Type.t_pv id
Sourcetype path_value = Value.t
Sourcetype path_class_type_pv = [
  1. | Class.t_pv
  2. | ClassType.t_pv
]
Sourceand path_class_type = Path.ClassType.t_pv id
Sourcetype fragment_module = Path.Module.t
Sourcetype fragment_type = Path.Type.t
Sourcetype reference_module = Path.Module.t
Sourcetype reference_module_type = ModuleType.t
Sourcetype reference_type = Path.Type.t
Sourcetype reference_constructor = [ Constructor.t_pv | Extension.t_pv | Exception.t_pv ] id
Sourcetype reference_field = Field.t
Sourcetype reference_extension = [ Extension.t_pv | Exception.t_pv ] id
Sourcetype reference_exception = Exception.t
Sourcetype reference_value = Value.t
Sourcetype reference_class = Class.t
Sourcetype reference_class_type = [ Class.t_pv | ClassType.t_pv ] id
Sourcetype reference_method = Method.t
Sourcetype reference_instance_variable = InstanceVariable.t
Sourcetype reference_label = Label.t
Sourcetype reference_page = Page.t