pub fn re_plus(r: RegLan) -> RegLan
Kleene cross
use aws_smt_strings::smt_regular_expressions::*; let r = re_union(str_to_re(&"ab".into()), str_to_re(&"cde".into())); assert!(str_in_re(&"abcdeab".into(), re_plus(r)));