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