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