Module Path.ResolvedSource

Sourcemodule Module : sig ... end
Sourcemodule ModuleType : sig ... end
Sourcemodule Type : sig ... end
Sourcemodule DataType : sig ... end
Sourcemodule Constructor : sig ... end
Sourcemodule Value : sig ... end
Sourcemodule ClassType : sig ... end
Sourcetype t = [
  1. | `Identifier of Identifier.t
  2. | `Subst of ModuleType.t * Module.t
  3. | `Hidden of Module.t
  4. | `Module of Module.t * Names.ModuleName.t
  5. | `Canonical of Module.t * Module.t
  6. | `Apply of Module.t * Module.t
  7. | `Alias of Module.t * Module.t
  8. | `AliasModuleType of ModuleType.t * ModuleType.t
  9. | `OpaqueModule of Module.t
  10. | `ModuleType of Module.t * Names.ModuleTypeName.t
  11. | `CanonicalModuleType of ModuleType.t * ModuleType.t
  12. | `SubstT of ModuleType.t * ModuleType.t
  13. | `OpaqueModuleType of ModuleType.t
  14. | `CanonicalType of Type.t * Type.t
  15. | `CanonicalDataType of DataType.t * DataType.t
  16. | `Type of Module.t * Names.TypeName.t
  17. | `Constructor of DataType.t * Names.ConstructorName.t
  18. | `Class of Module.t * Names.ClassName.t
  19. | `ClassType of Module.t * Names.ClassTypeName.t
  20. | `Class of Module.t * Names.ClassName.t
  21. | `Value of Module.t * Names.ValueName.t
  22. | `ClassType of Module.t * Names.ClassTypeName.t
]
Sourceval identifier : t -> Identifier.t
Sourceval is_hidden : t -> bool