Assertions (ANSI and GNU Common Lisp Document)

Next: Notes about the Condition System`s Background, Previous: Signaling and Handling Conditions, Up: Condition System Concepts

#### 9.1.5 Assertions

Conditional signaling of conditions based on such things as key match, form evaluation, and type are handled by assertion operators. Figure 9–7 shows operators relating to assertions.

      assert  check-type  ecase
      ccase   ctypecase   etypecase

      Figure 9–7: Operators relating to assertions.