fact: Definition item_beq `{Enumerable Char} (x y : item Char) : bool := match x, y with | Terminal P, Terminal Q => enumerable_fun_beq bool_beq P Q | Terminal _, _ => false | NonTerminal nt, NonTerminal nt' => string_beq nt nt' | NonTerminal _, _ => false end.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts