For each…→…in|of_§do_

Definitions:

literal phrase ⇒ token, literal phrase ⇒ token, expression phrase ⇒ tuple, block phrase ⇒ []→⊤
Source: /avail/Avail/Foundation/Maps
Categories: Control Structures, Loops, Collections, Maps
Map iterating-loop that invokes action once for every elementPhrase → elementPhrase in aMap.
Position Name Type Description
Parameters
1 keyPhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the map key loop variable. The generated loop variable is given the strongest possible type based on the map key type of aMap.
2 valuePhrase literal phrase ⇒ token A literal phrase holding a synthetic literal token whose value is the name of the map value loop index variable. The generated loop variable is given the strongest possible type based on the map value type of aMap.
3 aMap expression phrase ⇒ tuple An expression phrase that yields the map to iterate over
4 action block phrase ⇒ []→⊤ A zero-argument block phrase that represents the body of the loop.
Returns send phrase ⇒ ⊤