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