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