Function re_inter_list 

pub fn re_inter_list(a: impl IntoIterator<Item = RegLan>) -> RegLan

Intersection of several regular expressions

Example

use aws_smt_strings::smt_regular_expressions::*;

let r1 = re_concat(str_to_re(&"aaaa".into()), re_all());
let r2 = re_concat(str_to_re(&"aaa".into()), re_all());
let r3 = re_concat(str_to_re(&"aa".into()), re_all());
let r = re_inter_list([r1, r2, r3]);
assert!(str_in_re(&"aaaabb".into(), r));