∀ {options : Lean.Options} {table : Lean.Parser.TokenTable} {options_1 : Lean.Options}
  {table_1 : Lean.Parser.TokenTable},
  { options := options, table := table } = { options := options_1, table := table_1 } →
    options = options_1 ∧ table = table_1