GenLSP.Requests.WorkspaceDiagnosticRefresh (gen_lsp v0.0.9)
The diagnostic refresh request definition.
@since 3.17.0
Message Direction: serverToClient
Link to this section Summary
Link to this section Types
Link to this type
result()
@type result() :: nil