def text.upper.char
import ezsys@0.1.0.0/src/str.bend as Strimport Base
410# one character in uppercase
411def text.upper.char(chr: Char) -> String:
412 match chr:
413 case Chr{+x}:
414 text.case.of(text.upper.multi(), text.upper.rules(), x)