Odoc_xref2.Find
type class_ = [
| `FClass of Odoc_model.Names.ClassName.t * Component.Class.t
| `FClassType of Odoc_model.Names.ClassTypeName.t * Component.ClassType.t
]
type substitution = [
| `FModule_subst of Component.ModuleSubstitution.t
| `FType_subst of Component.TypeDecl.t
| `FModuleType_subst of Component.ModuleTypeSubstitution.t
]
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
]
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 constructor_in_type : Component.TypeDecl.t -> string -> constructor 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
Disambiguated lookups, returns the last match.
val class_in_sig_unambiguous : Component.Signature.t -> string -> class_ option
val value_in_sig_unambiguous : Component.Signature.t -> string -> value option
Lookup removed items
type removed_type = [
| `FType_removed of
Odoc_model.Names.TypeName.t
* Component.TypeExpr.t
* Component.TypeDecl.Equation.t
]
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_datatype_in_sig :
Component.Signature.t ->
string ->
careful_datatype option
val careful_class_in_sig :
Component.Signature.t ->
string ->
careful_class option