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