∀ {ref : Lean.Syntax} {tactic : Lean.TSyntax `Lean.Parser.Tactic.tacticSeq} {ref_1 : Lean.Syntax}
  {tactic_1 : Lean.TSyntax `Lean.Parser.Tactic.tacticSeq},
  { ref := ref, tactic := tactic } = { ref := ref_1, tactic := tactic_1 } → ref = ref_1 ∧ tactic = tactic_1