jon.recoil.org

Module Path.ResolvedSource

module Module : sig ... end
module ModuleType : sig ... end
module Type : sig ... end
module Value : sig ... end
module ClassType : sig ... end
type t = [
  1. | `Identifier of Odoc_model.Paths.Identifier.t
  2. | `SubstitutedCT of Odoc_model__.Paths_types.Resolved_path.class_type
  3. | `SubstitutedT of Odoc_model.Paths.Path.Resolved.Type.t
  4. | `SubstitutedMT of Odoc_model.Paths.Path.Resolved.ModuleType.t
  5. | `Substituted of Odoc_model.Paths.Path.Resolved.Module.t
  6. | `Subst of Odoc_model.Paths.Path.Resolved.ModuleType.t * Odoc_model.Paths.Path.Resolved.Module.t
  7. | `Hidden of Odoc_model.Paths.Path.Resolved.Module.t
  8. | `Module of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.ModuleName.t
  9. | `Canonical of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Paths.Path.Module.t
  10. | `Apply of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Paths.Path.Resolved.Module.t
  11. | `Alias of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Paths.Path.Module.t
  12. | `AliasModuleType of Odoc_model.Paths.Path.Resolved.ModuleType.t * Odoc_model.Paths.Path.Resolved.ModuleType.t
  13. | `OpaqueModule of Odoc_model.Paths.Path.Resolved.Module.t
  14. | `ModuleType of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.ModuleTypeName.t
  15. | `CanonicalModuleType of Odoc_model.Paths.Path.Resolved.ModuleType.t * Odoc_model.Paths.Path.ModuleType.t
  16. | `SubstT of Odoc_model.Paths.Path.Resolved.ModuleType.t * Odoc_model.Paths.Path.Resolved.ModuleType.t
  17. | `OpaqueModuleType of Odoc_model.Paths.Path.Resolved.ModuleType.t
  18. | `CanonicalType of Odoc_model.Paths.Path.Resolved.Type.t * Odoc_model.Paths.Path.Type.t
  19. | `Type of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.TypeName.t
  20. | `Class of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.TypeName.t
  21. | `ClassType of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.TypeName.t
  22. | `Class of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.TypeName.t
  23. | `Value of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.ValueName.t
  24. | `ClassType of Odoc_model.Paths.Path.Resolved.Module.t * Odoc_model.Names.TypeName.t
  25. | `CoreType of Odoc_model.Names.TypeName.t
]

If the path points to a core type, no identifier can be generated

val is_hidden : Odoc_model.Paths.Path.Resolved.t -> bool