((/centaur/vl/transforms/xf-unparameterize.lisp::vl-good-paramdecllist-list-p-of-vl-modulelist->paramdecls (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil (vl-good-paramdecllist-list-p) nil (if) nil nil) ((t) nil (vl-modulelist->paramdecls consp) (and) nil nil nil) ((x x) nil (vl-good-paramdecllist-p recursive-call) nil nil nil nil) (nil nil (vl-module->paramdecls cdr) nil nil nil nil) ((x) nil (car) nil nil nil nil) ((x) nil nil nil nil nil nil)))