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 | 
 ]