Basic constructor macro for atc-obj-info structures.
(make-atc-obj-info [:defobject <defobject>])
This is the usual way to construct atc-obj-info structures. It simply conses together a structure with the specified fields.
This macro generates a new atc-obj-info structure from scratch. See also change-atc-obj-info, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-atc-obj-info (&rest args) (std::make-aggregate 'atc-obj-info args '((:defobject)) 'make-atc-obj-info nil))
Function:
(defun atc-obj-info (defobject) (declare (xargs :guard (defobject-infop defobject))) (declare (xargs :guard t)) (let ((__function__ 'atc-obj-info)) (declare (ignorable __function__)) (b* ((defobject (mbe :logic (defobject-info-fix defobject) :exec defobject))) (list (cons 'defobject defobject)))))