fact: Definition brute_force_parse_nonterminal : @String Ascii.ascii _ -> String.string -> bool := let dummy := HGeq in let data := @brute_force_data Ascii.ascii _ G' in parse_nonterminal.
imports: Fiat.Parsers.BooleanRecognizer Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.Splitters.RDPList Fiat.Parsers.Splitters.BruteForce