In a given string, turn upper-case characters into lower-case
For a string
The guard for
Function:
(defun string-downcase (x) (declare (xargs :guard (and (stringp x) (standard-char-listp (coerce x 'list))))) (coerce (string-downcase1 (coerce x 'list)) 'string))