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