Predicates

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

• Type Predicates
• Derived Types
• Equality Predicates