254 |
(subtypep-and-contrapositive-are-consistent t1 t2)) |
(subtypep-and-contrapositive-are-consistent t1 t2)) |
255 |
t) |
t) |
256 |
|
|
257 |
|
(deftest subtypep.cons.29 |
258 |
|
(let ((t2 '(or (not (cons unsigned-byte cons)) |
259 |
|
(not (cons (integer -6 22) rational))))) |
260 |
|
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
261 |
|
t) |
262 |
|
|
263 |
|
(deftest subtypep.cons.30 |
264 |
|
(let ((t1 '(not (cons t (cons t (cons cons t))))) |
265 |
|
(t2 '(or (or (cons (cons t integer) t) |
266 |
|
(not (cons t (cons t cons)))) |
267 |
|
(not (cons (cons (eql -27111309) t) |
268 |
|
(cons t (eql 1140730))))))) |
269 |
|
(subtypep-and-contrapositive-are-consistent t1 t2)) |
270 |
|
t) |
271 |
|
|
272 |
|
(deftest subtypep.cons.31 |
273 |
|
(let ((t2 '(or |
274 |
|
(not |
275 |
|
(cons (or (cons t ratio) (cons short-float t)) |
276 |
|
(cons (cons (eql -7418623) (integer -9 53)) |
277 |
|
(cons cons t)))) |
278 |
|
(not |
279 |
|
(cons (cons t (eql -265039)) |
280 |
|
(cons (cons t cons) t)))))) |
281 |
|
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
282 |
|
t) |