For each…from_to_§do_

Definitions:

literal phrase ⇒ token, expression phrase ⇒ integer, expression phrase ⇒ extended integer, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Control Structures
Categories: Control Structures, Loops
Counting loop with customizable step. Invoke action once for every consecutive number in the range established by start and end.
Position Name Type Description
Parameters
1 i literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the loop variable. The generated loop variable is given the strongest possible type (based on start, end, and step ).
2 start expression phrase ⇒ integer An expression phrase that yields the start value, inclusive.
3 end expression phrase ⇒ extended integer An expression phrase that yields the end value, inclusive.
4 action block phrase ⇒ []→⊤ A zero-argument block phrase that represents the body of the loop.
Returns send phrase ⇒ ⊤