Module Path.ResolvedSource

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

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

Sourceval is_hidden : t -> bool