CL-ANNOT-PROVE ยป Globals
*symbol-tests-list*
List of #S(SYMBOL-TESTS ...)s.