Types

System Classes

t

The set of all objects. It is a supertype of every type, including itself. Every object is of type t.

nil

Called an empty type since it contains no objects. It is a subtype of every type. No object is of type nil.

boolean

Contains the symbols t and nil, which represent true and false, respectively.

function

A function is an object that represents code to be executed when an appropriate number of arguments is supplied.

compiled-function

generic-function

standard-generic-function

class

built-in-class

structure-class

standard-class

method

standard-method

structure-object

standard-object

method-combination

satisfies

member

not

and

or

values

eql

coerce

deftype

type-of

type-error

type-error-datum

type-error-expected-type

simple-type-error

Predicates

typep object type-specifier [environment] ⇒ boolean

subtypep type-1 type-2 [environment] ⇒ subtype-p, valid-p

Declarations

proclaim

declaim

declare

ignore

ignorable

dynamic-extent

type

ftype

inline

notinline

declaration

optimize

special

locally

the

special-operator-p

constantp