REPORT-RESULT (RESULT FORM)
Report the results of a single test case. Called by `check'.
CHECK (&BODY FORMS)
Run each expression in `forms' as a test case.
COMBINE-RESULTS (&BODY FORMS)
Combine the results (as booleans) of evaluating `forms' in order.
DEFTEST (NAME PARAMETERS &BODY BODY)
Define a test function. Within a test function we can call other test functions or use `check' to run individual test cases.