Skip to main content

ascii_nonzero_digit

vest_lib::asn1::real

Function ascii_nonzero_digit 

Source 
pub open spec fn ascii_nonzero_digit(b: u8) -> bool
Expand description
{ ASCII_ONE <= b <= ASCII_NINE }