Function str_concat 

pub fn str_concat(s1: &SmtString, s2: &SmtString) -> SmtString

Concatenate two strings

Panics

If the resulting strings would have length larger than MAX_LENGTH

Example

use aws_smt_strings::smt_strings::*;

let s1 = SmtString::from("aa");
let s2 = SmtString::from("bb");
assert_eq!(str_concat(&s1,&s2), SmtString::from("aabb"));