138 |
'(member a b)) |
'(member a b)) |
139 |
nil) |
nil) |
140 |
|
|
141 |
|
(deftest subtypep.member.27 |
142 |
|
(check-all-subtypep '(member a b c d) '(satisfies #'symbolp)) |
143 |
|
nil) |
144 |
|
|
145 |
|
(deftest subtypep.member.28 |
146 |
|
(check-all-subtypep '(member a b c d) t) |
147 |
|
nil) |
148 |
|
|
149 |
|
(deftest subtypep.member.29 |
150 |
|
(check-all-not-subtypep '(member a b 10 z) '(satisfies #'symbolp)) |
151 |
|
nil) |
152 |
|
|
153 |
|
(deftest subtypep.member.30 |
154 |
|
(check-disjointness '(member 1 6 10) '(satisfies #'symbolp)) |
155 |
|
nil) |
156 |
|
|
157 |
|
(deftest subtypep.member.31 |
158 |
|
(check-equivalence '(member a b c d) '(member c d b a)) |
159 |
|
nil) |