Subject: Re: deftype list-of-things?
From: Erik Naggum <>
Date: 1997/01/22
Newsgroups: comp.lang.lisp
Message-ID: <>

* Kevin Mayall
| Thank you very much Seth.  I needed "satisfies".  What is satisfies
| anyway?  It's not a function, but it looks like one, and judging from
| CLtL2, the (and ... ) form is evaluated, no?

`satisfies' is part of the specification of the type.  it is no more
evaluated than (vector character) in a type specifier is a function call.

see Chapter 4 in CLtL2 or 4.2.3 in ANSI X3.226:1994, "Type Specifiers".

1,3,7-trimethylxanthine -- a basic ingredient in quality software.