;;; and optimizers.
(declaim (ftype (function (list list attributes &key
(:derive-type (or function null))
- (:optimizer (or function null)))
+ (:optimizer (or function null))
+ (:destroyed-constant-args (or function null)))
*)
%defknown))
(defun %defknown (names type attributes &key derive-type optimizer destroyed-constant-args)