Next: Arithmetic Operations
Up: Natural Numbers
Previous: three
Contents
Index
zerop
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
2004-03-05