∀ (toInputContext : Lean.Parser.InputContext) (toParserModuleContext : Lean.Parser.ParserModuleContext)
  (toCacheableParserContext : Lean.Parser.CacheableParserContext) (tokens : Lean.Parser.TokenTable)
  (toInputContext_1 : Lean.Parser.InputContext) (toParserModuleContext_1 : Lean.Parser.ParserModuleContext)
  (toCacheableParserContext_1 : Lean.Parser.CacheableParserContext) (tokens_1 : Lean.Parser.TokenTable),
  ({ toInputContext := toInputContext, toParserModuleContext := toParserModuleContext,
        toCacheableParserContext := toCacheableParserContext, tokens := tokens } =
      { toInputContext := toInputContext_1, toParserModuleContext := toParserModuleContext_1,
        toCacheableParserContext := toCacheableParserContext_1, tokens := tokens_1 }) =
    (toInputContext = toInputContext_1 ∧
      toParserModuleContext = toParserModuleContext_1 ∧
        toCacheableParserContext = toCacheableParserContext_1 ∧ tokens = tokens_1)