-(defknown %adjoin (t list) list (explicit-check foldable flushable))
-(defknown %adjoin-key (t list function) list (explicit-check foldable flushable call))
-(defknown %assoc (t list) list (explicit-check foldable flushable))
-(defknown %assoc-key (t list function) list (explicit-check foldable flushable call))
-(defknown %member (t list) list (explicit-check foldable flushable))
-(defknown %member-key (t list function) list (explicit-check foldable flushable call))
-(defknown %rassoc (t list) list (explicit-check foldable flushable))
-(defknown %rassoc-key (t list function) list (explicit-check foldable flushable call))
+(defknown (%adjoin %adjoin-eq %member %member-eq
+ %assoc %assoc-eq %rassoc %rassoc-eq)
+ (t list)
+ list
+ (explicit-check foldable flushable))
+
+(defknown (%adjoin-key %adjoin-key-eq %member-key %member-key-eq
+ %assoc-key %assoc-key-eq %rassoc-key %rassoc-key-eq)
+ (t list function)
+ list
+ (explicit-check foldable flushable call))
+
+(defknown (%assoc-if %assoc-if-not %rassoc-if %rassoc-if-not
+ %member-if %member-if-not)
+ (function list)
+ list
+ (explicit-check foldable flushable call))
+
+(defknown (%assoc-if-key %assoc-if-not-key %rassoc-if-key %rassoc-if-not-key
+ %member-if-key %member-if-not-key)
+ (function list function)
+ list
+ (explicit-check foldable flushable call))
+
+(defknown (%adjoin-test %adjoin-test-not
+ %member-test %member-test-not
+ %assoc-test %assoc-test-not
+ %rassoc-test %rassoc-test-not)
+ (t list function)
+ list
+ (explicit-check foldable flushable call))
+
+(defknown (%adjoin-key-test %adjoin-key-test-not
+ %member-key-test %member-key-test-not
+ %assoc-key-test %assoc-key-test-not
+ %rassoc-key-test %rassoc-key-test-not)
+ (t list function function)
+ list
+ (explicit-check foldable flushable call))