fact: Definition production_beq `{Enumerable Char} : production Char -> production Char -> bool := list_beq (@item_beq Char _).
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts