Modifying constructor for integerp-of-svex-extn structures.
(change-integerp-of-svex-extn x [:fn <fn>] [:arg-len <arg-len>])
This is an often useful alternative to make-integerp-of-svex-extn.
We construct a new integerp-of-svex-extn structure that is a copy of
This is an ordinary
Macro:
(defmacro change-integerp-of-svex-extn (x &rest args) (std::change-aggregate 'integerp-of-svex-extn x args '((:fn . integerp-of-svex-extn->fn) (:arg-len . integerp-of-svex-extn->arg-len)) 'change-integerp-of-svex-extn 'remake-integerp-of-svex-extn))