Next: Comparing two numbers: `ltp'
Up: Relational Abstractions
Previous: Comparing two numbers: `equaln'
Contents
Index
Comparing two numbers: `gtp'
This abstraction tests whether the first of two numbers is greater
than the second.
Georg P. Loczewski
2004-03-05