Note also:
CL-USER> (deftype xtype () `(member :x)) XTYPE CL-USER> (declaim (xtype *x*)) ; No value CL-USER> (deftype xtype () `(member :x 'x)) XTYPE CL-USER> (defvar *x*) *X* CL-USER> (describe '*x*) COMMON-LISP-USER::*X* [symbol]
*X* names a special variable: Declared type: (MEMBER :X) Currently unbound.
Note also:
CL-USER> (deftype xtype () `(member :x)) LISP-USER: :*X*
XTYPE
CL-USER> (declaim (xtype *x*))
; No value
CL-USER> (deftype xtype () `(member :x 'x))
XTYPE
CL-USER> (defvar *x*)
*X*
CL-USER> (describe '*x*)
COMMON-
[symbol]
*X* names a special variable:
Declared type: (MEMBER :X)
Currently unbound.