Function str_is_digit 

pub fn str_is_digit(s: &SmtString) -> bool

Check whether s contains a single digit between ‘0’ and ‘9’

Examples

use aws_smt_strings::smt_strings::*;

assert!(str_is_digit(&SmtString::from("0")));
assert!(! str_is_digit(&SmtString::from("A")));