fact: Definition prod_on_terminal (on_terminal0 : (Char -> bool) -> lattice_for T0) (on_terminal1 : (Char -> bool) -> lattice_for T1) : (Char -> bool) -> lattice_for (lattice_for T0 * lattice_for T1) := fun P => constant (on_terminal0 P, on_terminal1 P).
imports: Coq.Sets.Ensembles Fiat.Parsers.StringLike.Core Fiat.Parsers.StringLike.Properties Fiat.Parsers.ContextFreeGrammar.Fix.Properties Fiat.Parsers.ContextFreeGrammar.Fix.Prod Fiat.Parsers.ContextFreeGrammar.Fix.FromAbstractInterpretationDefinitions Fiat.Common Fiat.Common.Instances Fiat.Common.BoolFacts