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