{motive : Lean.PrettyPrinter.OneLine.State → Sort u} →
  (t : Lean.PrettyPrinter.OneLine.State) →
    ((line : Std.Format) →
        (column : ℕ) → (tags : List (ℕ × Std.Format)) → motive { line := line, column := column, tags := tags }) →
      motive t