def text.lower.char
import ezsys@0.1.0.0/src/str.bend as Strimport Base
404# one character in lowercase
405def text.lower.char(chr: Char) -> String:
406 match chr:
407 case Chr{+x}:
408 text.case.of(text.lower.multi(), text.lower.rules(), x)