fact: Definition mysnd := @snd.
imports: Fiat.Parsers.ContextFreeGrammar.Notations Fiat.Common Fiat.Common.BoolFacts Fiat.Common.Wf Fiat.Common.Wf2 Fiat.Parsers.ExtrOcamlPrimitives Fiat.Parsers.StringLike.String Fiat.Parsers.Refinement.FinishingLemma Fiat.Parsers.ParserInterfaceReflective