Next: 6.5 Negation and Control
Up: 6. Standard Predicates
Previous: 6.3.1.1 Mathematical Functions from
Contents
Index
6.4 Convenience
These predicates are standard and often self-explanatory, so they are
described only briefly.
- true
-
Always succeeds.
- otherwise
-
Same as true/0.
- fail
-
Always fails.
Terrance Swift
2007-10-05