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