Pretty-print a numeric base prefix.
(pretty-print-num-base base) → string
Function:
(defun pretty-print-num-base (base) (declare (xargs :guard (num-base-p base))) (let ((__function__ 'pretty-print-num-base)) (declare (ignorable __function__)) (num-base-case base :dec "%d" :hex "%x" :bin "%b")))
Theorem:
(defthm stringp-of-pretty-print-num-base (b* ((string (pretty-print-num-base base))) (common-lisp::stringp string)) :rule-classes :rewrite)