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