def Char.is_space
import Base1969def Char.is_space(c: Char) -> Bool:
1970 match c:
1971 case Chr{+x}:
1972 Bool.or(U32.is_eq(x, 32), Bool.and(U32.is_ge(x, 9), U32.is_le(x, 13)))
import Base1969def Char.is_space(c: Char) -> Bool:
1970 match c:
1971 case Chr{+x}:
1972 Bool.or(U32.is_eq(x, 32), Bool.and(U32.is_ge(x, 9), U32.is_le(x, 13)))