text.lower_case

pure function lower_case(): text

Returns the text obtained by converting all alphabetic characters in this text to lower case.

Since 0.9.0