[top] [prev] [next]

Types

If T is an identifier and U a type (or type expression, since a type expression is allowed wherever a type is required), then:

    TYPE T = U

[top] [prev] [next]