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