fact: Definition production_code {Char} : relation (production Char) := SetoidList.eqlistA item_code.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Common Fiat.Common.Equality Fiat.Common.Enumerable Fiat.Common.List.ListFacts