{motive : Lean.Server.References → Sort u} →
  (t : Lean.Server.References) →
    ((ileans : Lean.Server.ILeanMap) →
        (workers : Lean.Server.WorkerRefMap) → motive { ileans := ileans, workers := workers }) →
      motive t