|
|
|---|
|
|
|
|---|
Constructor macro for defarbrec-infop structures.
Syntax:
(make-defarbrec-info [:call$ <call$>]
[:expansion <expansion>]
[:x1...xn <x1...xn>]
[:body <body>]
[:update-fns <update-fns>]
[:terminates-fn <terminates-fn>]
[:measure-fn <measure-fn>])
This is our preferred way to construct defarbrec-infop structures. It simply conses together a structure with the specified fields.
This macro generates a new defarbrec-infop structure from scratch. See also change-defarbrec-info, which can "change" an existing structure, instead.
The defarbrec-infop structures we create here are just constructed with ordinary cons. If you want to create honsed structures, see make-honsed-defarbrec-info instead.
This is an ordinary
Macro:
(defmacro make-defarbrec-info (&rest args) (std::make-aggregate 'defarbrec-info args '((:call$) (:expansion) (:x1...xn) (:body) (:update-fns) (:terminates-fn) (:measure-fn)) 'make-defarbrec-info nil))