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