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