re_comp

Function re_comp 

Source
pub fn re_comp(r: RegLan) -> RegLan
Expand description

Complement

ยงExample

use aws_smt_strings::smt_regular_expressions::*;

let r = re_comp(str_to_re(&"abcd".into()));
assert!(! str_in_re(&"abcd".into(), r));
assert!(str_in_re(&"abcdef".into(), r));