Name if_then_else_
Definition if (c:val(bool)) then (e1:expr(T:type)) else (e2:expr(T)) : expr(T)
Example if (a<b) then foo(3) else sprocket
Defined in ctrl.l
Implementation icode
Infix if_then_else_ : infix(60,none).
Description If condition is true, evaluate then parameter. If condition is false, evaluate else parameter. Return result of whichever parameter was evaluated.