6 Iteration 6.1 The LOOP Facility 6.1.1 Overview of the Loop Facility 220.127.116.11 Summary of Loop Clauses
18.104.22.168.6 Summary of Miscellaneous Clauses
The loop named construct gives a name for the block of the loop.
The loop initially construct causes its forms to be
evaluated in the loop prologue, which precedes all loop code
except for initial settings supplied by the constructs with,
for, or as.
The loop finally construct causes its forms to
be evaluated in the loop epilogue after normal iteration terminates.
For more information, see Section 6.1.7 Miscellaneous Clauses.