((/centaur/vl/mlib/namefactory.lisp::vl-namefactory-okp (nil nil nil (and) nil nil nil) (nil nil nil nil (or vl-namedb-okp) nil nil) (nil nil (not vl-namedb->names vl-namedb->pmap vl-namedb->pset) (equal subsetp-equal) nil nil nil) ((mod nil namedb namedb namedb) nil (vl-namedb->names vl-module->modnamespace vl-namedb-allnames) nil nil nil nil) ((namedb mod namedb) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))