Функция имеет следующие ограничения.

• Пусть x является объектом, и (typep x ) вычисляется в истину, и тип один из:

  array	float	package	sequence
  bit-vector	function	pathname	short-float
  character	hash-table	random-state	single-float
  complex	integer	ratio	stream
  condition	long-float	rational	string
  cons	null	readtable	symbol
  double-float	number	restart	vector

• Для любого объекта x, (subtypep (type-of x) (class-of x)) должно вернуть значения t и t.
• Для каждого объекта x, (typep x (type-of x)) должно быть true. (Это означает, что type-of никогда не может вернуть nil, так как нет объектов принадлежащий типу nil.)
• type-of никогда не возвращает t и никогда не использует спецификаторы типа satisfies, and, or, not или values в качестве результата.
• Для объектов CLOS метакласса structure-class или standard-class, type-of возвращает имя класса, получаемое с помощью class-of, если оно имеется, в противном случае возвращается сам класс. В частности, для любого объекта созданного с помощью defstruct функции-конструктора, и defstruct имело имя name и не имело опции :type, type-of вернёт name.

В качестве примера, (type-of "acetylcholinesterase") может вернуть string или simple-string или (simple-string  20), но не array или simple-vector. Другой пример, (type-of 1729) может вернуть integer или fixnum или (signed-byte 16) или (integer 1729 1729) или (integer 1685 1750) или даже (mod 1730), но не rational или number, потому что

является истиной, integer содержится в списке упомянутом выше, и

будет ложью, если type-of вернёт rational или number.