fact: Definition item_bl : forall `{Enumerable Char} {x y : item Char}, item_beq x y = true -> item_code x y.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts