fact: Fixpoint vars (e: ugregex): list Sigma := match e with | u_prd _ => [] | u_var _ i => [i] | u_pls e f | u_dot e f => union (vars e) (vars f) | u_itr e => vars e end.
imports: lset kat positives sums glang boolean comparisons powerfix ugregex