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