jon.recoil.org

Module Odoc_xref2.Cpath

module Resolved : sig ... end
module Cpath : sig ... end
include module type of struct include Odoc_xref2.Cpath.Cpath end
type module_ = [
  1. | `Resolved of Odoc_xref2.Cpath.Resolved.module_
  2. | `Substituted of Odoc_xref2.Cpath.module_
  3. | `Local of Odoc_xref2.Ident.module_ * bool
  4. | `Identifier of Odoc_model.Paths.Identifier.Path.Module.t * bool
  5. | `Root of Odoc_model.Names.ModuleName.t
  6. | `Forward of string
  7. | `Dot of Odoc_xref2.Cpath.module_ * Odoc_model.Names.ModuleName.t
  8. | `Module of Odoc_xref2.Cpath.Resolved.parent * Odoc_model.Names.ModuleName.t
  9. | `Apply of Odoc_xref2.Cpath.module_ * Odoc_xref2.Cpath.module_
]
and type_ = [
  1. | `Resolved of Odoc_xref2.Cpath.Resolved.type_
  2. | `Substituted of Odoc_xref2.Cpath.type_
  3. | `Local of Odoc_xref2.Ident.type_ * bool
  4. | `Identifier of Odoc_model.Paths.Identifier.Path.Type.t * bool
  5. | `DotT of Odoc_xref2.Cpath.module_ * Odoc_model.Names.TypeName.t
  6. | `Type of Odoc_xref2.Cpath.Resolved.parent * Odoc_model.Names.TypeName.t
  7. | `Class of Odoc_xref2.Cpath.Resolved.parent * Odoc_model.Names.TypeName.t
  8. | `ClassType of Odoc_xref2.Cpath.Resolved.parent * Odoc_model.Names.TypeName.t
]
val is_resolved_module_substituted : Odoc_xref2.Cpath.Resolved.module_ -> bool
val is_resolved_parent_substituted : Odoc_xref2.Cpath.Resolved.parent -> bool
val is_resolved_module_type_substituted : Odoc_xref2.Cpath.Resolved.module_type -> bool
val is_resolved_type_substituted : Odoc_xref2.Cpath.Resolved.type_ -> bool
val is_resolved_class_type_substituted : Odoc_xref2.Cpath.Resolved.class_type -> bool
val is_module_substituted : Odoc_xref2.Cpath.module_ -> bool
val is_module_type_substituted : Odoc_xref2.Cpath.module_type -> bool
val is_type_substituted : Odoc_xref2.Cpath.type_ -> bool
val is_class_type_substituted : Odoc_xref2.Cpath.class_type -> bool
val is_module_forward : Odoc_xref2.Cpath.module_ -> bool
val is_module_hidden : Odoc_xref2.Cpath.module_ -> bool
val is_resolved_module_hidden : weak_canonical_test:bool -> Odoc_xref2.Cpath.Resolved.module_ -> bool
val is_resolved_parent_hidden : weak_canonical_test:bool -> Odoc_xref2.Cpath.Resolved.parent -> bool
val is_module_type_hidden : Odoc_xref2.Cpath.module_type -> bool
val is_resolved_module_type_hidden : Odoc_xref2.Cpath.Resolved.module_type -> bool
val is_type_hidden : Odoc_xref2.Cpath.type_ -> bool
val is_resolved_type_hidden : Odoc_xref2.Cpath.Resolved.type_ -> bool
val is_resolved_class_type_hidden : Odoc_xref2.Cpath.Resolved.class_type -> bool
val is_class_type_hidden : Odoc_xref2.Cpath.class_type -> bool
val resolved_module_of_resolved_module_reference : Odoc_model.Paths.Reference.Resolved.Module.t -> Odoc_xref2.Cpath.Resolved.module_
val resolved_module_of_resolved_signature_reference : Odoc_model.Paths.Reference.Resolved.Signature.t -> Odoc_xref2.Cpath.Resolved.module_
val unresolve_resolved_module_path : Odoc_xref2.Cpath.Resolved.module_ -> Odoc_xref2.Cpath.module_
val unresolve_module_path : Odoc_xref2.Cpath.module_ -> Odoc_xref2.Cpath.module_
val unresolve_resolved_module_type_path : Odoc_xref2.Cpath.Resolved.module_type -> Odoc_xref2.Cpath.module_type
val unresolve_resolved_parent_path : Odoc_xref2.Cpath.Resolved.parent -> Odoc_xref2.Cpath.module_
val unresolve_resolved_type_path : Odoc_xref2.Cpath.Resolved.type_ -> Odoc_xref2.Cpath.type_
val unresolve_resolved_class_type_path : Odoc_xref2.Cpath.Resolved.class_type -> Odoc_xref2.Cpath.class_type
val unresolve_type_path : Odoc_xref2.Cpath.type_ -> Odoc_xref2.Cpath.type_
val unresolve_class_type_path : Odoc_xref2.Cpath.class_type -> Odoc_xref2.Cpath.class_type