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