fact: Definition parse_productions (pats : list production_carrierT) : parse_productions_T := parse_productions' (len0 := length str) (parse_nonterminal_or_abort_minus (length str, nonterminals_length initial_nonterminals_data) initial_nonterminals_data) 0 0 pats.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Lists.List Coq.ZArith.ZArith Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Common.Wf