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.
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 .