fact: Definition parse_production'_for {len0} := parse_production'_for str (len0 := len0).
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer