def Char.to_lower

Base · base.bend:1979

1979def Char.to_lower(c: Char) -> Char:
1980  match c:
1981    case Chr{+x}:
1982      Chr{U32.add(x, U32.mul(Bool.to_u32(Char.is_upper(Chr{x})), 32))}