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