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