If B is an expression of type BOOLEAN and S is a statement:
WHILE B DO S END
is shorthand for:
LOOP IF B THEN S ELSE EXIT END END
Last modified on Wed Apr 3 09:38:51 PST 1996 by heydon modified on Mon Apr 18 14:08:38 PDT 1994 by kalsow