Function str_to_code 

pub fn str_to_code(s: &SmtString) -> i32

Code for s if s is a single-character string, -1 otherwise

Examples

use aws_smt_strings::smt_strings::*;

assert_eq!(str_to_code(&EMPTY), -1);
assert_eq!(str_to_code(&SmtString::from(1202)), 1202);
assert_eq!(str_to_code(&SmtString::from("abc")), -1);