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