if
if p then x else y -- computes p, which must yield the value true
or false. If true, then the value of x is provided,
else the value of y is provided.
if p then x -- computes p, which must yield the value true
or false. If true, then the value of x is provided,
else the symbol null is provided.
See also then and else.



