{motive : Lean.Server.FileWorker.SignatureHelp.SearchControl → Sort u} →
  motive Lean.Server.FileWorker.SignatureHelp.SearchControl.continue →
    motive Lean.Server.FileWorker.SignatureHelp.SearchControl.stop →
      (t : Lean.Server.FileWorker.SignatureHelp.SearchControl) → motive t