((/nonstd/data-structures/set-defuns.lisp::adjoin-equal (nil nil nil nil (if) nil nil) ((l) nil nil (member-equal cons) nil nil nil) ((x l x l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/data-structures/set-defuns.lisp::memberp-equal (nil nil (DECLARE) nil nil nil nil) (nil nil nil (XARGS) nil nil nil) ((:GUARD) nil (TRUE-LISTP) nil nil nil nil) ((L) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/data-structures/set-defuns.lisp::set-equal (nil nil nil (and) nil nil nil) (nil nil nil (subsetp-equal subsetp-equal) nil nil nil) ((a b b a) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/data-structures/set-defuns.lisp::setp-equal (nil nil nil (and) nil nil nil) (nil nil (true-listp no-duplicatesp-equal) nil nil nil nil) ((l l) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))