Pretty-print a numeric value notation.
(pretty-print-num-val numval) → string
Function:
(defun pretty-print-num-val (numval) (declare (xargs :guard (num-val-p numval))) (let ((__function__ 'pretty-print-num-val)) (declare (ignorable __function__)) (num-val-case numval :direct (pretty-print-num-val-direct numval.get numval.base) :range (pretty-print-num-val-range numval.min numval.max numval.base))))
Theorem:
(defthm stringp-of-pretty-print-num-val (b* ((string (pretty-print-num-val numval))) (common-lisp::stringp string)) :rule-classes :rewrite)