# Iteration

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

## `x in L`

## `i -> x in L`

The identifier $x$ will take on the value of successive elements of the list $L$; if the dual iteration form is used then $i$ will be the corresponding index.