Odoc_xref2.Cfragtype 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_signatureval resolved_signature_split_parent : resolved_signature -> resolved_base_nameval resolved_module_split : resolved_module -> string * resolved_module optionval resolved_module_type_split :
resolved_module_type ->
string * resolved_module_type optionval module_type_split : module_type -> string * module_type optionval resolved_type_split : resolved_type -> string * resolved_type optionval unresolve_module : resolved_module -> module_val unresolve_signature : resolved_signature -> signatureval unresolve_type : resolved_type -> type_val unresolve_module_type : resolved_module_type -> module_type