Cpath.Resolvedand 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 | 
 ]