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