Function str_prefixof 

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

Check whether s1 is a prefix of s2

Examples

use aws_smt_strings::smt_strings::*;

let s1 = SmtString::from("abcdef");
let s2 = SmtString::from("abcd");
let s3 = SmtString::from("bbb");

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

assert!(! str_prefixof(&s1, &s2));