(motive : Lean.PrettyPrinter.Delaborator.TopDownAnalyze.App.State → Sort u_1) →
  (x : Lean.PrettyPrinter.Delaborator.TopDownAnalyze.App.State) →
    ((bottomUps higherOrders funBinders provideds : Array Bool) →
        (namedArgs : Array Lean.Name) →
          motive
            { bottomUps := bottomUps, higherOrders := higherOrders, funBinders := funBinders, provideds := provideds,
              namedArgs := namedArgs }) →
      motive x