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