(vl-unsigned-when-size-zero-lst sizes types) → *
Function:
(defun vl-unsigned-when-size-zero-lst (sizes types) (declare (xargs :guard (and (vl-maybe-nat-listp sizes) (vl-maybe-exprtype-list-p types)))) (declare (xargs :guard (eql (len sizes) (len types)))) (let ((__function__ 'vl-unsigned-when-size-zero-lst)) (declare (ignorable __function__)) (if (atom sizes) t (and (or (not (equal (car sizes) 0)) (not (car types)) (equal (car types) :vl-unsigned)) (vl-unsigned-when-size-zero-lst (cdr sizes) (cdr types))))))