Nested Classes
Modifier and Type	Interface	Description
`static class`	`Type.ArrayTy`	An array type.
`static class`	`Type.ClassTy`	A class type.
`static class`	`Type.ErrorTy`	An error type.
`static class`	`Type.IntersectionTy`	An intersection type.
`static class`	`Type.MethodTy`	A method type.
`static class`	`Type.PrimTy`	A primitive type.
`static class`	`Type.TyKind`	A type kind.
`static class`	`Type.TyVar`	A type variable.
`static class`	`Type.WildLowerBoundedTy`	An lower-bounded wildcard type.
`static class`	`Type.WildTy`	A wildcard type, valid only inside (possibly nested) type arguments.
`static class`	`Type.WildUnboundedTy`	An unbounded wildcard type.
`static class`	`Type.WildUpperBoundedTy`	An upper-bounded wildcard type.

Modifier and Type	Field	Description
`static Type`	`NONE`	The void type.
`static Type`	`VOID`	The void type.

Interface Type