or
Summary: The presentation type that is used to specify one of several types, for example,
(or (member :all :none) integer).
The elements of
types
can be presentation type abbreviations.
accept
returns one of the possible types as its second value, not the original
or
presentation type specifier.
and
Summary: The type that is used for "multiple inheritance."
and
is frequently used in conjunction with
satisfies
, for example:
(and integer (satisfies oddp))
. The elements of
types
can be presentation type abbreviations.
The and type has special syntax that supports the two "predicates," satisfies and not . satisfies and not cannot stand alone as presentation types and cannot be first in types . not can surround either satisfies or a presentation type.
The first type in types is the type whose methods will be used during calls to accept and present .