A.3.1 Type Declarations |
I: TYPE
I: TYPE = T
This declaration introduces a type constant I. The declaration form I: TYPE associates to I a non-empty atomic type which is different from any other atomic type declared so far. The declaration form I: TYPE = T equates I with T.
If the type expression T contains a range type or subtype, the type declaration gives rise to a type checking condition which states that the declared type is not empty.
A.3.1 Type Declarations |