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