Next: Arithmetic Operations
Up: Natural Numbers
This abstraction is used to check, whether a number is equal
to 0. `true' or `false' is returned respectively. Readers
are referred back to our `apples example' as a help to understand
the code of this abstraction.
Georg P. Loczewski