Boolean Evaluation

Calling Sequence:
evalb(exp)
Parameters:

exp

:

an expression

Returns: boolean

Synopsis: This function forces an immediate evaluation of the boolean expression exp.

Examples:

> evalb(5 = 5);
> evalb(true = (not(not(not false))));