(vl-caselist-all-null-p x) → *
Function:
(defun vl-caselist-all-null-p (x) (declare (xargs :guard (vl-caselist-p x))) (let ((__function__ 'vl-caselist-all-null-p)) (declare (ignorable __function__)) (b* (((when (atom x)) t) ((cons ?exprs stmt1) (first x))) (and (vl-nullstmt-p stmt1) (vl-caselist-all-null-p (rest x))))))