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