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.