Module Cpath.Resolved

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