def text.lower

ezsys@0.1.0.0 · src/str.bend:416

import Base

416# the text in lowercase, character by character
417def text.lower(txt: String) -> String:
418  match txt:
419    case SNil{}:
420      SNil{}
421    case SCon{h, t}:
422      text.lower.char(h) ++ text.lower(t)