62 |
(cons (integer 3 15) (integer 4 15))) |
(cons (integer 3 15) (integer 4 15))) |
63 |
'(cons (integer 0 15) (integer 0 15))) |
'(cons (integer 0 15) (integer 0 15))) |
64 |
nil) |
nil) |
65 |
|
|
66 |
|
(deftest subtypep.cons.8 |
67 |
|
(check-equivalence |
68 |
|
'(or |
69 |
|
(cons integer (cons symbol integer)) |
70 |
|
(cons symbol (cons integer symbol)) |
71 |
|
(cons symbol (cons symbol integer)) |
72 |
|
(cons symbol (cons integer integer)) |
73 |
|
(cons integer (cons integer symbol)) |
74 |
|
(cons symbol (cons symbol symbol)) |
75 |
|
(cons integer (cons integer integer)) |
76 |
|
(cons integer (cons symbol symbol))) |
77 |
|
'(cons (or symbol integer) |
78 |
|
(cons (or symbol integer) (or symbol integer)))) |
79 |
|
nil) |