(vl-slow-keep-typedefs names x) → *
Function:
(defun vl-slow-keep-typedefs (names x) (declare (xargs :guard (and (string-listp names) (vl-typedeflist-p x)))) (let ((__function__ 'vl-slow-keep-typedefs)) (declare (ignorable __function__)) (cond ((atom x) nil) ((member-equal (vl-typedef->name (car x)) (string-list-fix names)) (cons (vl-typedef-fix (car x)) (vl-slow-keep-typedefs names (cdr x)))) (t (vl-slow-keep-typedefs names (cdr x))))))