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