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