Modifying constructor for svex-context-top structures.
(change-svex-context-top x )
This is an often useful alternative to make-svex-context-top.
We construct a new svex-context-top structure that is a copy of
This is an ordinary
Macro:
(defmacro change-svex-context-top (x &rest args) (std::change-aggregate 'svex-context-top x args 'nil 'change-svex-context-top 'nil))