Pretty-print a range numeric value notation.
(pretty-print-num-val-range min max base) → string
The parameters of this pretty-printing function are the components of the range numeric value notation.
Function:
(defun pretty-print-num-val-range (min max base) (declare (xargs :guard (and (natp min) (natp max) (num-base-p base)))) (let ((__function__ 'pretty-print-num-val-range)) (declare (ignorable __function__)) (str::cat (pretty-print-num-base base) (pretty-print-number min base) "-" (pretty-print-number max base))))
Theorem:
(defthm stringp-of-pretty-print-num-val-range (b* ((string (pretty-print-num-val-range min max base))) (common-lisp::stringp string)) :rule-classes :rewrite)