fact: Record t := { T : Type; fpdata : grammar_fixedpoint_lattice_data T; aidata : AbstractInterpretation (Char:=Char) }.
imports: Fiat.Parsers.ContextFreeGrammar.Core Fiat.Parsers.ContextFreeGrammar.PreNotations Fiat.Parsers.ContextFreeGrammar.Fix.FromAbstractInterpretationDefinitions Fiat.Parsers.ContextFreeGrammar.Fix.Fix Fiat.Parsers.ContextFreeGrammar.Fix.FromAbstractInterpretation