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