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