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. Note that the value returned may depend
on the host Lisp; see soundness, specifically Example 1 in the Section,
“Examples of divergence among Lisp implementations”.
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).
