Common Lisp the Language
2nd Edition
Next: Type Specifiers That
Up: Type Specifiers
Previous: Predicating Type Specifiers
The following type specifier lists define a type in terms of
other types or objects.
- (member object1 object2 ...)
-
This denotes the set
containing precisely those objects named. An object is of
this type if and only if it is eql to one of the specified objects.
Compatibility note: This is roughly equivalent to
the Interlisp DECL package's memq.

- (eql object)
-
X3J13 voted in June 1988 (CLOS) to add the eql type specifier.
It may be used as a parameter specializer for CLOS methods
(see section 28.1.6.2
and find-method).
It denotes the set of the one object named; an object is of
this type if and only if it is eql to object. While
(eql object) denotes the same type as (member object)
(eql object) denotes the same type as (member object) specifier.tif.gif">