Path.DataType
type t = [
| `Resolved of Resolved.DataType.t
| `Identifier of Paths.Identifier.Path.DataType.t * bool
| `Dot of Module.t * string
]