fact: Definition tpLhsRhs (p:TermProd) : (TNonTerminal * list ((PNonTerminal + VarSym) + (Terminal + TNonTerminal))):= match p with | app => (term,[inrr term, inrr term]) | lam => (term, [inlr vsym, inrr term]) | letr => (term, [inll lasgn, inrr term]) end.
imports: CFGV