if_then_else

---

function if_then_else<Left, Middle, Right>(l:Left, m:Middle, r:Right) ->

If cond is true then return x, else return y.

function if_then_else<Type>(cond:Boolean, x:Type, y:Type) -> Type

If cond is true then return x, else return y.