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