Module Odoc_xref2.Cfrag

type root = [
| `ModuleType of Cpath.Resolved.module_type
| `Module of Cpath.Resolved.module_
]
type resolved_signature = [
| `Root of root
| `Subst of Cpath.Resolved.module_type * resolved_module
| `SubstAlias of Cpath.Resolved.module_ * resolved_module
| `Module of resolved_signature * Odoc_model.Names.ModuleName.t
| `OpaqueModule of resolved_module
]
and resolved_module = [
| `Subst of Cpath.Resolved.module_type * resolved_module
| `SubstAlias of Cpath.Resolved.module_ * resolved_module
| `Module of resolved_signature * Odoc_model.Names.ModuleName.t
| `OpaqueModule of resolved_module
]
and resolved_type = [
| `Type of resolved_signature * Odoc_model.Names.TypeName.t
| `Class of resolved_signature * Odoc_model.Names.ClassName.t
| `ClassType of resolved_signature * Odoc_model.Names.ClassTypeName.t
]
type signature = [
| `Resolved of resolved_signature
| `Dot of signature * string
| `Root
]
and module_ = [
| `Resolved of resolved_module
| `Dot of signature * string
]
and type_ = [
| `Resolved of resolved_type
| `Dot of signature * string
]
type resolved_base_name =
| RBase of root
| RBranch of Odoc_model.Names.ModuleName.t * resolved_signature
type base_name =
| Base of root option
| Branch of Odoc_model.Names.ModuleName.t * signature
val resolved_signature_split_parent : resolved_signature -> resolved_base_name
val signature_split_parent : signature -> base_name
val resolved_module_split : resolved_module -> string * resolved_module option
val module_split : module_ -> string * module_ option
val resolved_type_split : resolved_type -> string * resolved_type option
val type_split : type_ -> string * type_ option
val unresolve_module : resolved_module -> module_
val unresolve_signature : resolved_signature -> signature
val unresolve_type : resolved_type -> type_