Name repeat_until_
Definition repeat (S:expr(void)) until (c:expr(bool)) : expr(void)
Example repeat (a:=a+1) until (a=10)
Defined in ctrl.l
Implementation lard
Infix repeat_until_ : infix(60,none).
Description Evaluate body expression. Evaluate condition. If true repeat.