String-downcase
In a given string, turn upper-case characters into lower-case
For a string x, (string-downcase x) is the result of
applying char-downcase to each character in x.
The guard for string-downcase states that its argument is a
string.
String-downcase is a Common Lisp function. See any Common Lisp
documentation for more information.
Function: string-downcase
(defun string-downcase (x)
(declare (xargs :guard (stringp x)))
(coerce (string-downcase1 (coerce x 'list))
'string))
Subtopics
- Downcase-string
- Convert a string to lower case.
- String-downcase-gen
- Downcase any string (even ones with non-standard characters).