def String.to_lower

Base · base.bend:2234

2234def String.to_lower(s: String) -> String:
2235  match s:
2236    case SNil{}:
2237      SNil{}
2238    case SCon{h, t}:
2239      SCon{Char.to_lower(h), String.to_lower(t)}