Always,Never

Next: always?,never? Up: Condition Previous: Condition Contents Index

Always,Never

$\begin{usage} Always\\ Never \end{usage}$

Signature

Always,Never: %

$\begin{retval} Always returns a condition which is always satisfied, while Never returns a condition which is never satisfied. \end{retval}$

$\begin{remarks} The names {\tt always} and {\tt never} are reserved tokens in {\rm A}{\sc ldor}\xspace . \end{remarks}$

Manuel Bronstein 2000-12-13