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