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