def Char.is_lower
import Base1961def Char.is_lower(c: Char) -> Bool:
1962 match c:
1963 case Chr{+x}:
1964 Bool.and(U32.is_ge(x, 97), U32.is_le(x, 122))
import Base1961def Char.is_lower(c: Char) -> Bool:
1962 match c:
1963 case Chr{+x}:
1964 Bool.and(U32.is_ge(x, 97), U32.is_le(x, 122))