{motive : Lean.PrettyPrinter.Parenthesizer.State → Sort u} →
  ((stxTrav : Lean.Syntax.Traverser) →
      (contPrec : Option ℕ) →
        (contCat : Lean.Name) →
          (minPrec trailPrec : Option ℕ) →
            (trailCat : Lean.Name) →
              (visitedToken : Bool) →
                motive
                  { stxTrav := stxTrav, contPrec := contPrec, contCat := contCat, minPrec := minPrec,
                    trailPrec := trailPrec, trailCat := trailCat, visitedToken := visitedToken }) →
    (t : Lean.PrettyPrinter.Parenthesizer.State) → motive t