(STD::DEFENUM-MEMBERS-TO-TESTS)
(STD::DEFENUM-MEMBERS-TO-TESTS-EQUAL)
(STD::DEFENUM-DEDUCE-TYPE-SET)
(STD::DUMB-COLLECT-DUPLICATES)
(STD::STRIP-P-FROM-SYMBOL
 (1 1 (:TYPE-PRESCRIPTION STD::STRIP-P-FROM-SYMBOL))
 )
(STD::DEFENUM-FN)
