fact: Definition parse : string -> bool := brute_force_parse trivial_grammar.
imports: Coq.Lists.List Coq.Strings.String Coq.Arith.PeanoNat Coq.Arith.Compare_dec Coq.Arith.Wf_nat Fiat.Parsers.Grammars.Trivial Fiat.Parsers.Grammars.ABStar Fiat.Parsers.Splitters.RDPList Fiat.Parsers.Splitters.BruteForce Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.BaseTypes Fiat.Parsers.CorrectnessBaseTypes Fiat.Parsers.StringLike.String Fiat.Parsers.BooleanRecognizer Fiat.Parsers.BooleanRecognizerFull