fact: Definition parser_spec `{StringLike Char} (G : grammar Char) : String -> Comp bool := fun str => { b : bool | b = true <-> inhabited (parse_of_grammar str G) }%comp.
imports: Fiat.Computation.Core Fiat.Parsers.ContextFreeGrammar.Core