The function 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 proclaim
or declaim
. Note that undefine-declaration
is a function, unlike define-declaration which is a macro.
define-declaration
declare
declaration-information
function-information
variable-information
augment-environment
LispWorks User Guide and Reference Manual - 20 Sep 2017