fact: Definition production_lb `{Enumerable Char} {x y : production Char} : x = y -> production_beq x y = true := list_lb (@item_lb _ _).
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts