Module Odoc_xref2.Find

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

Lookup by name, unambiguous

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

Maybe ambiguous

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

Lookup removed items

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