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