Resolved.DataType
type t = [
|
`Identifier of Paths.Identifier.DataType.t
`Type of Paths.Reference.Resolved.Signature.t * Names.TypeName.t
]