fact: Definition item_code {Char} (x y : item Char) : Prop := match x, y with | Terminal P, Terminal Q => forall x, P x = Q x | Terminal _, _ => False | NonTerminal nt, NonTerminal nt' => nt = nt' | NonTerminal _, _ => False end.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts