Mobile Users: Click here to view our text rendering warning.
A type whose instances are also types.
- An examination of metatypes in the context of the type system
- The most general metatype, ⊤
- Metatypes referenced and defined in the Guess the Number tutorial
- Metatypes used in an example of semantic restrictions