Pascal's pre-test loop construct. Evaluates the condition before each iteration. If the condition is `False` initially, the loop body never executes. Continues while the condition remains `True`. (Ch. 6)