fact: Definition parse_production'_for (splits : production_carrierT -> String -> nat -> nat -> list nat) (offset : nat) (len0_minus_len : nat) (prod_idx : production_carrierT) : parse_production_T.
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