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
null is provided.