Module Cpath.Resolved

type parent = [
| `Module of module_
| `ModuleType of module_type
| `FragmentRoot
]
and module_ = [
| `Local of Ident.path_module
| `Identifier of Odoc_model.Paths.Identifier.Path.Module.t
| `Substituted of module_
| `Subst of module_type * module_
| `Hidden of module_
| `Module of parent * Odoc_model.Names.ModuleName.t
| `Canonical of module_ * Cpath.module_
| `Apply of module_ * module_
| `Alias of module_ * module_
| `OpaqueModule of module_
]
and module_type = [
| `Local of Ident.module_type
| `Substituted of module_type
| `Identifier of Odoc_model.Paths.Identifier.ModuleType.t
| `ModuleType of parent * Odoc_model.Names.ModuleTypeName.t
| `SubstT of module_type * module_type
| `AliasModuleType of module_type * module_type
| `CanonicalModuleType of module_type * Cpath.module_type
| `OpaqueModuleType of module_type
]
and type_ = [
| `Local of Ident.path_type
| `Identifier of Odoc_model.Paths.Identifier.Path.Type.t
| `Substituted of type_
| `CanonicalType of type_ * Cpath.type_
| `Type of parent * Odoc_model.Names.TypeName.t
| `Class of parent * Odoc_model.Names.ClassName.t
| `ClassType of parent * Odoc_model.Names.ClassTypeName.t
]
and class_type = [
| `Local of Ident.path_class_type
| `Substituted of class_type
| `Identifier of Odoc_model.Paths.Identifier.Path.ClassType.t
| `Class of parent * Odoc_model.Names.ClassName.t
| `ClassType of parent * Odoc_model.Names.ClassTypeName.t
]