Terminal Types
Specification