280 |
(cons (cons t cons) t)))))) |
(cons (cons t cons) t)))))) |
281 |
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
282 |
t) |
t) |
283 |
|
|
284 |
|
(deftest subtypep.cons.32 |
285 |
|
(let ((t2 '(cons t |
286 |
|
(or (not (cons integer (eql 0))) |
287 |
|
(not (cons (or float (eql 0)) cons)))))) |
288 |
|
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
289 |
|
t) |
290 |
|
|
291 |
|
(deftest subtypep.cons.33 |
292 |
|
(let ((t2 '(or (not (cons (cons t cons) (cons t (cons unsigned-byte t)))) |
293 |
|
(not (cons (cons integer t) (cons t (cons cons t))))))) |
294 |
|
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
295 |
|
t) |
296 |
|
|
297 |
|
(deftest subtypep.cons.34 |
298 |
|
(let ((t2 '(or (not (cons (or (eql 0) ratio) (not cons))) |
299 |
|
(not (cons integer cons))))) |
300 |
|
(subtypep-and-contrapositive-are-consistent 'cons t2)) |
301 |
|
t) |