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