# 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.