Module Cpath.ResolvedSource

type parent = [
  1. | `Module of module_
  2. | `ModuleType of module_type
  3. | `FragmentRoot
]
and module_ = [
  1. | `Local of Ident.path_module
  2. | `Gpath of Odoc_model.Paths.Path.Resolved.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_ * Odoc_model.Paths.Path.Module.t
  8. | `Apply of module_ * module_
  9. | `Alias of module_ * Cpath.module_ * module_ option
  10. | `OpaqueModule of module_
]
and module_type = [
  1. | `Local of Ident.module_type
  2. | `Substituted of module_type
  3. | `Gpath of Odoc_model.Paths.Path.Resolved.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 * Odoc_model.Paths.Path.ModuleType.t
  8. | `OpaqueModuleType of module_type
]
and type_ = [
  1. | `Local of Ident.path_type
  2. | `Gpath of Odoc_model.Paths.Path.Resolved.Type.t
  3. | `Substituted of type_
  4. | `CanonicalType of type_ * Odoc_model.Paths.Path.Type.t
  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 value = [
  1. | `Local of Ident.path_value
  2. | `Gpath of Odoc_model.Paths.Path.Resolved.Value.t
  3. | `Substituted of value
  4. | `Value of parent * Odoc_model.Names.ValueName.t
]
and class_type = [
  1. | `Local of Ident.path_class_type
  2. | `Substituted of class_type
  3. | `Gpath of Odoc_model.Paths.Path.Resolved.ClassType.t
  4. | `Class of parent * Odoc_model.Names.ClassName.t
  5. | `ClassType of parent * Odoc_model.Names.ClassTypeName.t
]