fact: Definition ppLhsRhs (p:PatProd) : (PNonTerminal * list (PNonTerminal+ (Terminal + VarSym))):= match p with | aNil => (lasgn,[]) | aCons => (lasgn, [inl lasgn, inl asgn]) | asgnP => (asgn, [inrr vsym, inl asgnRhs]) end.
imports: CFGV