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