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