6.5 Predefined Presentation Types

6.5.7 Constructor Presentation Types

Arguments:

&rest types

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.

Arguments:

&rest types

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.

Generated with Harlequin WebMaker