143 |
'(member 0 10)) |
'(member 0 10)) |
144 |
nil) |
nil) |
145 |
|
|
146 |
|
(deftest subtypep.rational.13 |
147 |
|
(check-equivalence '(and integer (rational -1/2 1/2)) |
148 |
|
'(integer 0 0)) |
149 |
|
nil) |
150 |
|
|
151 |
|
(deftest subtypep.rational.14 |
152 |
|
(check-equivalence '(and integer (rational -1/2 1/2)) |
153 |
|
'(eql 0)) |
154 |
|
nil) |
155 |
|
|
156 |
|
(deftest subtypep.rational.15 |
157 |
|
(check-equivalence '(and integer (rational (-1/2) 1/2)) |
158 |
|
'(integer 0 0)) |
159 |
|
nil) |
160 |
|
|
161 |
|
(deftest subtypep.rational.16 |
162 |
|
(check-equivalence '(and integer (rational (-1/2) (1/2))) |
163 |
|
'(integer 0 0)) |
164 |
|
nil) |