(vl-netdeclassigns-check-array-assigns x) → *
Function:
(defun vl-netdeclassigns-check-array-assigns (x) (declare (xargs :guard (vl-vardeclassignlist-p x))) (let ((__function__ 'vl-netdeclassigns-check-array-assigns)) (declare (ignorable __function__)) (b* (((when (atom x)) nil) ((vl-vardeclassign x1) (car x)) ((when (and x1.dims x1.rhs)) "We don't support the combination of a declaration assignment and unpacked dimensions on a net declaration.")) (vl-netdeclassigns-check-array-assigns (cdr x)))))