** 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