{motive : Lean.PrettyPrinter.Delaborator.TopDownAnalyze.State → Sort u} →
  (t : Lean.PrettyPrinter.Delaborator.TopDownAnalyze.State) →
    ((annotations : Lean.PrettyPrinter.Delaborator.OptionsPerPos) →
        (postponed : Array (Lean.Expr × Lean.Expr)) → motive { annotations := annotations, postponed := postponed }) →
      motive t