The function traceable-dspec-p
determines whether the dspec 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.
CL-USER 67 > (dspec:traceable-dspec-p '(subfunction
foo bar))
NIL
CL-USER 68 > (dspec:traceable-dspec-p '(defun open))
OPEN
LispWorks User Guide and Reference Manual - 20 Sep 2017