pub fn is_digit_chr [ N : Nat, $S, @D ] ( chr : uint[N] $S @D ) -> bool[N] $S @D where Field[N]
Test if the given integer is an ASCII code of a digit character.