∀ {stxTrav : Lean.Syntax.Traverser} {contPrec : Option ℕ} {contCat : Lean.Name} {minPrec trailPrec : Option ℕ}
  {trailCat : Lean.Name} {visitedToken : Bool} {stxTrav_1 : Lean.Syntax.Traverser} {contPrec_1 : Option ℕ}
  {contCat_1 : Lean.Name} {minPrec_1 trailPrec_1 : Option ℕ} {trailCat_1 : Lean.Name} {visitedToken_1 : Bool},
  { stxTrav := stxTrav, contPrec := contPrec, contCat := contCat, minPrec := minPrec, trailPrec := trailPrec,
        trailCat := trailCat, visitedToken := visitedToken } =
      { stxTrav := stxTrav_1, contPrec := contPrec_1, contCat := contCat_1, minPrec := minPrec_1,
        trailPrec := trailPrec_1, trailCat := trailCat_1, visitedToken := visitedToken_1 } →
    stxTrav = stxTrav_1 ∧
      contPrec = contPrec_1 ∧
        contCat = contCat_1 ∧
          minPrec = minPrec_1 ∧ trailPrec = trailPrec_1 ∧ trailCat = trailCat_1 ∧ visitedToken = visitedToken_1