Yep.
CL-USER> (defun foo () t) FOO CL-USER> (trace foo) (FOO) CL-USER> (fmakunbound 'foo) FOO CL-USER> (untrace) T CL-USER> (trace) (FOO)
Yep.
CL-USER> (defun foo () t)
FOO
CL-USER> (trace foo)
(FOO)
CL-USER> (fmakunbound 'foo)
FOO
CL-USER> (untrace)
T
CL-USER> (trace)
(FOO)