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