GenLSP.Protocol.Structures.ProgressParams (gen_lsp v0.0.1)
properties
Properties
token :: ProgressToken (required)
The progress token provided by the client or server.
value :: LSPAny (required)
The progress data.