{motive : Lean.Server.RequestCancellationToken → Sort u} →
  ((cancelledByCancelRequest cancelledByEdit : IO.Ref Bool) →
      (requestCancellationPromise editCancellationPromise : IO.Promise Unit) →
        motive
          { cancelledByCancelRequest := cancelledByCancelRequest, cancelledByEdit := cancelledByEdit,
            requestCancellationPromise := requestCancellationPromise,
            editCancellationPromise := editCancellationPromise }) →
    (t : Lean.Server.RequestCancellationToken) → motive t