((/centaur/vl/mlib/allexprs.lisp::vl-module-exprnames-set (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil (mergesort) (let*) nil nil nil) (nil nil (vl-exprlist-names (exprs (vl-module-allexprs-exec x nil)) mergesort) nil nil nil nil) ((names) nil (vl-module-allexprs names) nil nil nil nil) ((x) nil nil (vl-exprlist-names-exec) nil nil nil) ((exprs nil) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))