fact: Fixpoint evaluate_productions (p : simple_parse_of Char) (acts : rproductions_with_actions Char T) {struct p} : option T with evaluate_production (p : simple_parse_of_production Char) (act : rproduction_with_action Char T) {struct p} : option T.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer