A copying macro that lets you create new fn-info-elt-p structures, based on existing structures.
Syntax:
(change-fn-info-elt x [:source-fn <source-fn>] [:target-fn <target-fn>] [:iso-thm <iso-thm>] [:osi-thm <osi-thm>] [:arg-types <arg-types>] [:result-types <result-types>])
This is a sometimes useful alternative to make-fn-info-elt.
It constructs a new fn-info-elt-p structure that is a copy of
This is an ordinary
Macro:
(defmacro change-fn-info-elt (x &rest args) (std::change-aggregate 'fn-info-elt x args '((:source-fn . fn-info-elt->source-fn) (:target-fn . fn-info-elt->target-fn) (:iso-thm . fn-info-elt->iso-thm) (:osi-thm . fn-info-elt->osi-thm) (:arg-types . fn-info-elt->arg-types) (:result-types . fn-info-elt->result-types)) 'change-fn-info-elt 'nil))