Parent Directory | Revision Log | Patch
revision 1.1 by pfdietz, Tue Jun 22 12:40:35 2004 UTC | revision 1.2 by pfdietz, Sun May 22 01:11:40 2005 UTC | |
---|---|---|
# | Line 181 | Line 181 |
181 | (or (not success1) | (or (not success1) |
182 | (not success2) | (not success2) |
183 | (eqlt sub1 sub2))))) | (eqlt sub1 sub2))))) |
184 | ||
185 | ;;; For use in deftype tests | |
186 | (deftype even-array (&optional type size) | |
187 | `(and (array ,type ,size) | |
188 | (satisfies even-size-p))) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |