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