Module Path.TypeSource

Sourcetype t = [
  1. | `Resolved of Resolved.Type.t
  2. | `SubstitutedT of t
  3. | `Identifier of Path.Type.t * bool
  4. | `DotT of Module.t * Names.TypeName.t
]