Function re_union_list 

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

Union of several regular expressions

Example

use aws_smt_strings::smt_regular_expressions::*;

let r1 = re_plus(str_to_re(&"a".into()));
let r2 = re_plus(str_to_re(&"b".into()));
let r3 = re_plus(str_to_re(&"c".into()));
let u = re_union_list([r1, r2, r3]);
assert!(str_in_re(&"cccc".into(), u));