Skip to main content

ascii_digit

Function ascii_digit 

Source
pub open spec fn ascii_digit(byte: u8) -> bool
Expand description
{ ASCII_0 <= byte <= ASCII_9 }