∀ {fw : Lean.Server.Watchdog.FileWorker} {ev : Lean.Server.Watchdog.WorkerEvent}
  {fw_1 : Lean.Server.Watchdog.FileWorker} {ev_1 : Lean.Server.Watchdog.WorkerEvent},
  Lean.Server.Watchdog.ServerEvent.workerEvent fw ev = Lean.Server.Watchdog.ServerEvent.workerEvent fw_1 ev_1 →
    fw = fw_1 ∧ ev = ev_1