Module Odoc_xref2.FindSource

Sourcetype module_ = [
  1. | `FModule of Odoc_model.Names.ModuleName.t * Component.Module.t
]
Sourcetype module_type = [
  1. | `FModuleType of Odoc_model.Names.ModuleTypeName.t * Component.ModuleType.t
]
Sourcetype class_ = [
  1. | `FClass of Odoc_model.Names.ClassName.t * Component.Class.t
  2. | `FClassType of Odoc_model.Names.ClassTypeName.t * Component.ClassType.t
]
Sourcetype label = [
  1. | `FLabel of Component.Label.t
]
Sourcetype exception_ = [
  1. | `FExn of Odoc_model.Names.ExceptionName.t * Component.Exception.t
]
Sourcetype substitution = [
  1. | `FModule_subst of Component.ModuleSubstitution.t
  2. | `FType_subst of Component.TypeDecl.t
  3. | `FModuleType_subst of Component.ModuleTypeSubstitution.t
]
Sourcetype signature = [
  1. | module_
  2. | module_type
]
Sourcetype type_ = [
  1. | datatype
  2. | class_
]
Sourcetype label_parent = [
  1. | signature
  2. | type_
]
Sourcetype constructor = [
  1. | `FConstructor of Component.TypeDecl.Constructor.t
]
Sourcetype field = [
  1. | `FField of Component.TypeDecl.Field.t
]
Sourcetype any_in_type = [
  1. | constructor
  2. | field
]
Sourcetype any_in_type_in_sig = [
  1. | `In_type of Odoc_model.Names.TypeName.t * Component.TypeDecl.t * any_in_type
]
Sourcetype instance_variable = [
  1. | `FInstance_variable of Odoc_model.Names.InstanceVariableName.t * Component.InstanceVariable.t
]
Sourcetype method_ = [
  1. | `FMethod of Odoc_model.Names.MethodName.t * Component.Method.t
]
Sourcetype any_in_class_sig = [
  1. | instance_variable
  2. | method_
]

Lookup by name, unambiguous

Sourceval module_in_sig : Component.Signature.t -> string -> module_ option
Sourceval type_in_sig : Component.Signature.t -> string -> type_ option
Sourceval datatype_in_sig : Component.Signature.t -> string -> datatype option
Sourceval module_type_in_sig : Component.Signature.t -> string -> module_type option
Sourceval exception_in_sig : Component.Signature.t -> string -> exception_ option
Sourceval extension_in_sig : Component.Signature.t -> string -> extension option
Sourceval any_in_type : Component.TypeDecl.t -> string -> any_in_type option
Sourceval any_in_typext : Component.Extension.t -> string -> extension option
Sourceval method_in_class_signature : Component.ClassSignature.t -> string -> method_ option
Sourceval instance_variable_in_class_signature : Component.ClassSignature.t -> string -> instance_variable option

Maybe ambiguous

Sourceval class_in_sig : Component.Signature.t -> string -> class_ list
Sourceval signature_in_sig : Component.Signature.t -> string -> signature list
Sourceval value_in_sig : Component.Signature.t -> string -> value list
Sourceval label_in_sig : Component.Signature.t -> string -> label list
Sourceval label_parent_in_sig : Component.Signature.t -> string -> label_parent list
Sourceval any_in_sig : Component.Signature.t -> string -> any_in_sig list
Sourceval any_in_type_in_sig : Component.Signature.t -> string -> any_in_type_in_sig list
Sourceval any_in_class_signature : Component.ClassSignature.t -> string -> any_in_class_sig list

Disambiguated lookups, returns the last match.

Sourceval class_in_sig_unambiguous : Component.Signature.t -> string -> class_ option
Sourceval value_in_sig_unambiguous : Component.Signature.t -> string -> value option

Lookup removed items

Sourcetype careful_module = [
  1. | module_
  2. | `FModule_removed of Cpath.Resolved.module_
]
Sourcetype careful_module_type = [
  1. | module_type
  2. | `FModuleType_removed of Component.ModuleType.expr
]
Sourcetype careful_type = [
  1. | type_
  2. | removed_type
]
Sourcetype careful_class = [
  1. | class_
  2. | removed_type
]
Sourceval careful_module_in_sig : Component.Signature.t -> string -> careful_module option
Sourceval careful_module_type_in_sig : Component.Signature.t -> string -> careful_module_type option
Sourceval careful_type_in_sig : Component.Signature.t -> string -> careful_type option
Sourceval careful_class_in_sig : Component.Signature.t -> string -> careful_class option