Function str_le 

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

Lexicographic comparison.

• Return true if s1 <= s2 in the lexicographic ordering

Examples

use aws_smt_strings::smt_strings::*;

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

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

assert!(! str_le(&s1, &s2));
assert!(! str_le(&s2, &EMPTY));