9.1.5 Assertions

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.