((/centaur/vl/util/namedb.lisp::vl-namedb-okp (nil nil nil (and) nil nil nil) (nil nil nil (or set-equivp) nil nil nil) ((names) nil (not strip-cars strip-cars) nil nil nil nil) ((pmap pset pmap) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/vl/util/namedb.lisp::vl-unlike-any-prefix-p-of-strip-cars (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (vl-unlike-any-prefix-p or) nil nil nil) ((name) nil (strip-cars atom) (and) nil nil nil) ((pmap pmap) nil (not) (recursive-call) nil nil nil) ((name) nil (cdr) (vl-pgenstr-p) nil nil nil) ((name pmap) nil (caar) nil nil nil nil) ((pmap) nil nil nil nil nil nil)) (/centaur/vl/util/namedb.lisp::vl-namedb-plain-name-quiet (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (vl-namedb-plain-name b*) nil nil nil) ((name db) nil nil (mv) nil nil ((names (vl-namedb->names db)))) ((name db) nil (pset (when (hons-get name names)) (unless (vl-unlike-any-prefix-p-of-strip-cars name pset)) names db) nil nil nil nil) (nil nil (vl-namedb->pset) nil (mv-let mv-let hons-acons change-vl-namedb) nil nil) ((db name t names db :names names) nil (fresh fresh) (vl-namedb-indexed-name mv vl-namedb-indexed-name mv) nil nil nil) ((db name db fresh db db name db fresh db) nil nil nil nil nil nil)))