Available since

3.16.0

.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

previousResultId:String

The result id of a previous response. The result Id can either point to a full response or a delta response depending on what was received last.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

An optional token that a server can use to report partial results (e.g. streaming) to the client.