Basic constructor macro for stmt-return structures.
(make-stmt-return [:value <value>])
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 '((:value)) 'make-stmt-return nil))
Function:
(defun stmt-return (value) (declare (xargs :guard (expr-optionp value))) (declare (xargs :guard t)) (let ((__function__ 'stmt-return)) (declare (ignorable __function__)) (b* ((value (mbe :logic (expr-option-fix value) :exec value))) (cons :return (list value)))))