(vl-netdeclassigns-characterize x) → *
Function:
(defun vl-netdeclassigns-characterize (x) (declare (xargs :guard (vl-vardeclassignlist-p x))) (let ((__function__ 'vl-netdeclassigns-characterize)) (declare (ignorable __function__)) (b* (((when (atom x)) nil) ((vl-vardeclassign x1) (car x)) (rest (vl-netdeclassigns-characterize (cdr x))) (first (if x1.rhs :all-assigns :no-assigns)) ((when (or (not rest) (eq first rest))) first)) :both)))