{α : Type u} →
  {motive : Lean.Elab.Tactic.BVDecide.External.TimedOut α → Sort u_1} →
    (t : Lean.Elab.Tactic.BVDecide.External.TimedOut α) →
      ((x : α) → motive (Lean.Elab.Tactic.BVDecide.External.TimedOut.success x)) →
        motive Lean.Elab.Tactic.BVDecide.External.TimedOut.timeout → motive t