((/nonstd/xdoc/top.lisp::bar-escape-string (nil nil nil (coerce) nil nil nil) (nil nil (bar-escape-chars quote) nil nil nil nil) ((string) nil nil (coerce) nil nil nil) ((x) nil (quote) nil nil nil nil) ((list) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/xdoc/top.lisp::full-escape-symbol (nil nil nil nil nil nil nil) ((| |::| |) nil (quote bar-escape-string bar-escape-string) nil nil nil nil) ((string) nil (symbol-package-name symbol-name) nil nil nil nil) ((x x) 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)) (/nonstd/xdoc/top.lisp::formula-info-to-defs1 (nil nil nil nil (cond) nil nil) (nil nil ((atom entries) (and (consp (car entries)) (symbolp (caar entries))) t) nil nil nil nil) ((nil) nil (recursive-call) (cons) nil nil nil) (nil nil (recursive-call cdr) nil nil (concatenate) nil) ((@(def  ) entries) nil (quote full-escape-symbol cdr) nil nil nil nil) ((string entries) nil (caar) nil nil nil nil) ((entries) nil nil nil nil nil nil)) (/nonstd/xdoc/top.lisp::join-strings (nil nil nil nil (cond) nil nil) (nil nil ((atom strs) (atom (cdr strs)) t) nil nil nil nil) (() nil (car) nil nil (concatenate) nil) ((strs sep) nil (quote car) (recursive-call) nil nil nil) ((string strs sep) nil (cdr) nil nil nil nil) ((strs) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))