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