Constructor macro for honsed fn-info-elt-p structures.
Syntax:
(make-honsed-fn-info-elt [: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 identical to make-fn-info-elt, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-fn-info-elt (&rest args) (std::make-aggregate 'fn-info-elt args '((:source-fn) (:target-fn) (:iso-thm) (:osi-thm) (:arg-types) (:result-types)) 'make-honsed-fn-info-elt t))