View source
typedef PartialResultParams
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Protocol
Fields
optionalpartialResultToken:Null<ProgressToken>
An optional token that a server can use to report partial results (e.g. streaming) to the client.