Lsp.Server_notificationtype t = | PublishDiagnostics of Types.PublishDiagnosticsParams.t| ShowMessage of Types.ShowMessageParams.t| LogMessage of Types.LogMessageParams.t| LogTrace of Types.LogTraceParams.t| TelemetryNotification of Import.Json.t| CancelRequest of Jsonrpc.Id.t| WorkDoneProgress of Progress.t Types.ProgressParams.t| UnknownNotification of Jsonrpc.Notification.tval to_jsonrpc : t -> Jsonrpc.Notification.tval of_jsonrpc : Jsonrpc.Notification.t -> (t, string) Import.Result.t