(FAST-SETS::ADD)
(FAST-SETS::SET-UNION)
(FAST-SETS::INTERSECT-AUX)
(FAST-SETS::INTERSECT)
(FAST-SETS::MINUS-T)
(FAST-SETS::MINUS)
(FAST-SETS::SET-COMPLEMENT)
(FAST-SETS::REMOVE-DUPS)
(FAST-SETS::CARDINALITY)
