Raw constructor for honsed vl-useset-report-entry-p structures.
Syntax:
(honsed-vl-useset-report-entry name spurious unused unset wwires warnings typos lvalue-inputs)
This is identical to vl-useset-report-entry, except that we hons the structure we are creating.
This is an ordinary honsing constructor introduced by defaggregate.
Function:
(defun honsed-vl-useset-report-entry (name spurious unused unset wwires warnings typos lvalue-inputs) (declare (xargs :guard (and (stringp name) (string-listp spurious) (string-listp unused) (string-listp unset) (string-listp wwires) (vl-warninglist-p warnings) (and (alistp typos) (vl-string-keys-p typos) (vl-string-list-values-p typos)) (string-listp lvalue-inputs)))) (mbe :logic (vl-useset-report-entry name spurious unused unset wwires warnings typos lvalue-inputs) :exec (hons :vl-useset-report (hons (hons 'name name) (hons (hons 'spurious spurious) (hons (hons 'unused unused) (hons (hons 'unset unset) (hons (hons 'wwires wwires) (hons (hons 'warnings warnings) (hons (hons 'typos typos) (hons (hons 'lvalue-inputs lvalue-inputs) nil)))))))))))