fact: Definition parse_productions' (offset : nat) (len0_minus_len : nat) (prods : list production_carrierT) : parse_productions_T := fold_right ret_orb_productions ret_orb_productions_base (map (parse_production' (len0 := len0) parse_nonterminal offset len0_minus_len) prods).
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