fact: Fixpoint epsilon a (e: ugregex) := match e with | u_var _ => false | u_prd p => epsilon_pred a p | u_pls e f => epsilon a e ||| epsilon a f | u_dot e f => epsilon a e &&& epsilon a f | u_itr e => epsilon a e end.
imports: kat lsyntax positives sups glang comparisons boolean