{motive : Lean.PrettyPrinter.Formatter.State → Sort u} →
  (t : Lean.PrettyPrinter.Formatter.State) →
    ((stxTrav : Lean.Syntax.Traverser) →
        (leadWord : String) →
          (leadWordIdent isUngrouped mustBeGrouped : Bool) →
            (stack : Array Std.Format) →
              motive
                { stxTrav := stxTrav, leadWord := leadWord, leadWordIdent := leadWordIdent, isUngrouped := isUngrouped,
                  mustBeGrouped := mustBeGrouped, stack := stack }) →
      motive t