Iteration

Iteration over the components of a tuple is allowed. Note that, unlike most other iterators, the values returned by iteration over a tuple may be of differing types.

x in T
i -> x in T
The identifier x will take on the value of successive components of the tuple T; if the dual iteration form is used then i will be the corresponding index.
V2.28, 13 July 2023