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.
Go to main index.
Go to concepts index.