def Char.is_upper
import Base1956def Char.is_upper(c: Char) -> Bool:
1957 match c:
1958 case Chr{+x}:
1959 Bool.and(U32.is_ge(x, 65), U32.is_le(x, 90))
import Base1956def Char.is_upper(c: Char) -> Bool:
1957 match c:
1958 case Chr{+x}:
1959 Bool.and(U32.is_ge(x, 65), U32.is_le(x, 90))