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