def String.to_upper

Base · base.bend:2227

2227def String.to_upper(s: String) -> String:
2228  match s:
2229    case SNil{}:
2230      SNil{}
2231    case SCon{h, t}:
2232      SCon{Char.to_upper(h), String.to_upper(t)}