Function str_contains 

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

Check whether s2 is a substring of s1

Examples

use aws_smt_strings::smt_strings::*;

let s1 = SmtString::from("abcdef");
let s2 = SmtString::from("cde");
let s3 = SmtString::from("cdd");

assert!(str_contains(&s1, &s2));;
assert!(str_contains(&s3, &EMPTY));

assert!(! str_contains(&s2, &s1));
assert!(! str_contains(&s1, &s3));