Name	while_do_
Definition	while (c:expr(bool)) do (S:expr(void)) : expr(void)
Example	while (a<b) do (a:=(a+1))
Defined in	ctrl.l
Implementation	icode
Infix	while_do_ : infix(60,none).
Description	Evaluate condition. If true, evaluate body expression and repeat.