determines whether the dspec
denotes a definition that can be traced using the Common Lisp macro trace.
dspec must not be a local dspec, and must be defined, according to dspec-defined-p. The result does not depend on whether dspec is currently traced.
LispWorks User Guide and Reference Manual - 21 Dec 2011