Whether c is an ASCII digit, 0 to 9.
c
0
9
is_digit :: (c: u8) -> bool
assert(is_digit(#char "7") && !is_digit(#char "x"));