next up previous contents index
Next: Decrementing a number: `pred' Up: Extended Numerical Abstractions Previous: Extended Numerical Abstractions   Contents   Index


Abstraction `zeropair'

This special abstraction is needed in the following implementation of determining the predecessor of a natural number.
\begin{lstlisting}[language=Scm]{} (define zeropair (cons zero zero)) \end{lstlisting}


domain access counter Georg P. Loczewski 2004-03-05