A.1.6 Tuple Types |
[T1, T2, ..., Tn]
This type denotes the domain of n-ary tuples (a1,a2,...,an) with n values a1 from T1, a2 from T2, ..., an from Tn (see Section Tuple Values for the operations supported on tuples).
The tuple type [T] is identified with T.
A.1.6 Tuple Types |