(upcase-string-list-aux x acc) → *
Function:
(defun upcase-string-list-aux (x acc) (declare (xargs :guard (string-listp x))) (let ((acl2::__function__ 'upcase-string-list-aux)) (declare (ignorable acl2::__function__)) (if (atom x) acc (upcase-string-list-aux (cdr x) (cons (upcase-string (car x)) acc)))))