Here's a pared down test-case:
(sb-kernel:specifier-type '(or (INTEGER -2 -2) (AND (SATISFIES FOO) (RATIONAL -191753/99253 -191753/99253))))
...somewhat peculiarly, it works for /some/ rational types.
Here's a pared down test-case:
(sb-kernel: specifier- type
'(or (INTEGER -2 -2)
(AND (SATISFIES FOO) (RATIONAL -191753/99253 -191753/99253))))
...somewhat peculiarly, it works for /some/ rational types.