(motive : Lean.Server.Watchdog.WorkerState → Sort u_1) →
  (__do_lift : Lean.Server.Watchdog.WorkerState) →
    (Unit → motive Lean.Server.Watchdog.WorkerState.cannotWrite) →
      (Unit → motive Lean.Server.Watchdog.WorkerState.terminating) →
        (Unit → motive Lean.Server.Watchdog.WorkerState.crashed) →
          (Unit → motive Lean.Server.Watchdog.WorkerState.running) → motive __do_lift