Odoc_xref2.Cfrag
type root = [
| `Module of Odoc_xref2.Cpath.Resolved.module_
| `ModuleType of Odoc_xref2.Cpath.Resolved.module_type
]
type resolved_signature = [
| `Alias of Odoc_xref2.Cpath.Resolved.module_ * resolved_module
| `Module of resolved_signature * Odoc_model.Names.ModuleName.t
| `OpaqueModule of resolved_module
| `Root of root
| `Subst of Odoc_xref2.Cpath.Resolved.module_type * resolved_module
]
and resolved_module = [
| `Alias of Odoc_xref2.Cpath.Resolved.module_ * resolved_module
| `Module of resolved_signature * Odoc_model.Names.ModuleName.t
| `OpaqueModule of resolved_module
| `Subst of Odoc_xref2.Cpath.Resolved.module_type * resolved_module
]
and resolved_module_type = [
| `ModuleType of resolved_signature * Odoc_model.Names.ModuleTypeName.t
]
and resolved_type = [
| `Class of resolved_signature * Odoc_model.Names.ClassName.t
| `ClassType of resolved_signature * Odoc_model.Names.ClassTypeName.t
| `Type of resolved_signature * Odoc_model.Names.TypeName.t
]
type resolved_base_name =
| RBase of root
| RBranch of Odoc_model.Names.ModuleName.t * resolved_signature
val resolved_signature_split_parent : resolved_signature -> resolved_base_name
val resolved_module_split : resolved_module -> string * resolved_module option
val resolved_module_type_split :
resolved_module_type ->
string * resolved_module_type option
val module_type_split : module_type -> string * module_type option
val resolved_type_split : resolved_type -> string * resolved_type option
val unresolve_module : resolved_module -> module_
val unresolve_signature : resolved_signature -> signature
val unresolve_type : resolved_type -> type_
val unresolve_module_type : resolved_module_type -> module_type