Next: , Previous: , Up: Top   [Contents][Index]

3 Predicates

This section describes functions for testing whether various facts are true or false.