loop: to express that a sequence is to be executed repeatedly.
- Exactly one operand.
- Keyword is followed by minimal / maximal number of iterations.
(min..max)or(min, max)Examples of equivalent notation:loop(3,8) = loop(3..8)loop(8,8) = loop(8)loop = loop(*) = loop(0, *)
- Guard is evaluated as soon as the minimum number of iterations has taken place, then checked also for each iteration within the limits. If the guard evaluates to false, the execution of the loop is terminated.
