(vl-fast-delete-imports-by-package names fal x nrev) → nrev
Function:
(defun vl-fast-delete-imports-by-package (names fal x nrev) (declare (xargs :stobjs (nrev))) (declare (xargs :guard (and (string-listp names) (vl-importlist-p x) (set-equiv (alist-keys fal) (list-fix names))))) (let ((__function__ 'vl-fast-delete-imports-by-package)) (declare (ignorable __function__)) (if (atom x) (nrev-fix nrev) (let ((nrev (if (fast-memberp (vl-import->pkg (car x)) (string-list-fix names) fal) nrev (nrev-push (vl-import-fix (car x)) nrev)))) (vl-fast-delete-imports-by-package names fal (cdr x) nrev)))))