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