3 Predicates ************ This section describes functions for testing whether various facts are true or false.
· Type Predicates ‘cl-typep’, ‘cl-deftype’, and ‘cl-coerce’. · Equality Predicates ‘cl-equalp’.