(vl-unlike-any-prefix-p-of-alist-keys name pset) → *
Function:
(defun vl-unlike-any-prefix-p-of-alist-keys (name pset) (declare (xargs :guard (and (stringp name) (vl-namedb-nameset-p pset)))) (let ((__function__ 'vl-unlike-any-prefix-p-of-alist-keys)) (declare (ignorable __function__)) (mbe :logic (vl-unlike-any-prefix-p name (alist-keys pset)) :exec (or (atom pset) (and (not (vl-pgenstr-p (caar pset) name)) (vl-unlike-any-prefix-p-of-alist-keys name (cdr pset)))))))