Index of books/kestrel/error-checking

Files

• def-error-checker
• ensure-function-is-guard-verified
• ensure-function-is-logic-mode
• ensure-list-has-no-duplicates
• ensure-symbol-is-fresh-event-name
• ensure-value-is-boolean
• ensure-value-is-not-in-list
• ensure-value-is-symbol-list
• ensure-value-is-symbol
• ensure-value-is-untranslated-term