undefine-declaration causes decl-name not to be recognized as a declaration. It can be used to undo the effect of define-declaration, but also to undo the effect of proclaiming decl-name as a declaration by
declaim. Note that
undefine-declaration is a function, unlike define-declaration which is a macro.
LispWorks User Guide and Reference Manual - 20 Sep 2017