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.