(vl-evatomlist-edgefree-p x) → *
Function:
(defun vl-evatomlist-edgefree-p (x) (declare (xargs :guard (vl-evatomlist-p x))) (let ((__function__ 'vl-evatomlist-edgefree-p)) (declare (ignorable __function__)) (if (atom x) t (and (eq (vl-evatom->type (car x)) :vl-noedge) (vl-evatomlist-edgefree-p (cdr x))))))