Function str_from_int 

pub fn str_from_int(x: i32) -> SmtString

Convert x to a string

• Return a sequence of digits if x >= 0
• Return the empty string if x < 0

Examples

use aws_smt_strings::smt_strings::*;

assert_eq!(str_from_int(0), SmtString::from("0"));
assert_eq!(str_from_int(-1), EMPTY);
assert_eq!(str_from_int(1002), SmtString::from("1002"));