- Value parameters:
- workDoneToken
An optional token that a server can use to report work done progress.
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
An optional token that a server can use to report work done progress.