Conditional signaling of conditions based on such things as key match, form evaluation, and type are handled by assertion operators. The next figure shows operators relating to assertions.
assert check-type ecase ccase ctypecase etypecase
Figure 9-7. Operators relating to assertions.