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