fact: Definition parse_production (pat : production_carrierT) : option simple_parse_of_production := parse_production str pat.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer