fact: Definition prhs_aux {G : CFGV} (symSum :((PNonTerminal G + VarSym G) +(Terminal G + TNonTerminal G))) : (GSym G) := match symSum with | inl (inl p) => gsymPN p | inl (inr vc) => gsymV vc | inr (inl t) => gsymT t | inr (inr nt) => gsymTN nt end.
imports: GVariables