TypeExpr

Supertype of the forms a type takes.

Parentheses that only group a type are not a form of their own. A unit converts all of its types the first time one is asked for, so the same type always yields the same objects.

Fields

span @ Span

The span of the type as written, including any parentheses around it.