fact: Definition parse_productions (pats : list production_carrierT) : bool := parse_productions str pats.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.GenericBaseTypes Fiat.Parsers.GenericRecognizer