|
|
|---|
|
|
|
|---|
Constructor macro for honsed defarbrec-infop structures.
Syntax:
(make-honsed-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 identical to make-defarbrec-info, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-defarbrec-info (&rest args) (std::make-aggregate 'defarbrec-info args '((:call$) (:expansion) (:x1...xn) (:body) (:update-fns) (:terminates-fn) (:measure-fn)) 'make-honsed-defarbrec-info t))