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