Constructor macro for fn-info-elt-p structures.
Syntax:
(make-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 our preferred way to construct fn-info-elt-p structures. It simply conses together a structure with the specified fields.
This macro generates a new fn-info-elt-p structure from scratch. See also change-fn-info-elt, which can "change" an existing structure, instead.
The fn-info-elt-p structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-fn-info-elt instead.
This is an ordinary
Macro:
(defmacro make-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-fn-info-elt nil))