type-of

(type-of object)

The type name of a value as a symbol: a defstruct/CLOS instance answers its structure/class NAME, any other value answers a built-in type-name symbol (integer, string, cons, ...), falling back to t. It is the name-only view of what class-of answers as a class metaobject: (type-of x) and (class-name (class-of x)) agree. A class defined in another package answers its package-qualified name — one colon when the package exports it, two when it does not — whatever package the caller is in.