Modifying constructor for fgl-binder-rule-brewrite structures.
(change-fgl-binder-rule-brewrite x [:rune <rune>] [:lhs-fn <lhs-fn>] [:lhs-args <lhs-args>] [:hyps <hyps>] [:rhs <rhs>] [:equiv <equiv>] [:r-equiv <r-equiv>])
This is an often useful alternative to make-fgl-binder-rule-brewrite.
We construct a new fgl-binder-rule-brewrite structure that is a copy of
This is an ordinary
Macro:
(defmacro change-fgl-binder-rule-brewrite (x &rest args) (std::change-aggregate 'fgl-binder-rule-brewrite x args '((:rune . fgl-binder-rule-brewrite->rune) (:lhs-fn . fgl-binder-rule-brewrite->lhs-fn) (:lhs-args . fgl-binder-rule-brewrite->lhs-args) (:hyps . fgl-binder-rule-brewrite->hyps) (:rhs . fgl-binder-rule-brewrite->rhs) (:equiv . fgl-binder-rule-brewrite->equiv) (:r-equiv . fgl-binder-rule-brewrite->r-equiv)) 'change-fgl-binder-rule-brewrite 'remake-fgl-binder-rule-brewrite))