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