def Char.to_upper

Base · base.bend:1974

1974def Char.to_upper(c: Char) -> Char:
1975  match c:
1976    case Chr{+x}:
1977      Chr{U32.sub(x, U32.mul(Bool.to_u32(Char.is_lower(Chr{x})), 32))}