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