Subject: Re: deftype list-of-things? From: Erik Naggum <firstname.lastname@example.org> Date: 1997/01/22 Newsgroups: comp.lang.lisp Message-ID: <email@example.com> * 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". #\Erik -- 1,3,7-trimethylxanthine -- a basic ingredient in quality software.