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