Module Odoc_xref2.CfragSource

Sourcetype root = [
  1. | `ModuleType of Cpath.Resolved.module_type
  2. | `Module of Cpath.Resolved.module_
]
Sourcetype resolved_signature = [
  1. | `Root of root
  2. | `Subst of Cpath.Resolved.module_type * resolved_module
  3. | `Alias of Cpath.Resolved.module_ * resolved_module
  4. | `Module of resolved_signature * Odoc_model.Names.ModuleName.t
  5. | `OpaqueModule of resolved_module
]
Sourceand resolved_module_type = [
  1. | `ModuleType of resolved_signature * Odoc_model.Names.ModuleTypeName.t
]
Sourcetype signature = [
  1. | `Resolved of resolved_signature
  2. | `Dot of signature * string
  3. | `Root
]
Sourceand module_ = [
  1. | `Resolved of resolved_module
  2. | `Dot of signature * string
]
Sourceand module_type = [
  1. | `Resolved of resolved_module_type
  2. | `Dot of signature * string
]
Sourceand type_ = [
  1. | `Resolved of resolved_type
  2. | `Dot of signature * string
]
Sourcetype resolved_base_name =
  1. | RBase of root
  2. | RBranch of Odoc_model.Names.ModuleName.t * resolved_signature
Sourcetype base_name =
  1. | Base of root option
  2. | Branch of Odoc_model.Names.ModuleName.t * signature
Sourceval resolved_signature_split_parent : resolved_signature -> resolved_base_name
Sourceval signature_split_parent : signature -> base_name
Sourceval resolved_module_split : resolved_module -> string * resolved_module option
Sourceval module_split : module_ -> string * module_ option
Sourceval resolved_module_type_split : resolved_module_type -> string * resolved_module_type option
Sourceval module_type_split : module_type -> string * module_type option
Sourceval resolved_type_split : resolved_type -> string * resolved_type option
Sourceval type_split : type_ -> string * type_ option
Sourceval unresolve_module : resolved_module -> module_
Sourceval unresolve_signature : resolved_signature -> signature
Sourceval unresolve_type : resolved_type -> type_
Sourceval unresolve_module_type : resolved_module_type -> module_type