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