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.