type t = | TextDocumentDidOpen of Types.DidOpenTextDocumentParams.t| TextDocumentDidClose of Types.DidCloseTextDocumentParams.t| TextDocumentDidChange of Types.DidChangeTextDocumentParams.t| DidSaveTextDocument of Types.DidSaveTextDocumentParams.t| WillSaveTextDocument of Types.WillSaveTextDocumentParams.t| ChangeWorkspaceFolders of Types.DidChangeWorkspaceFoldersParams.t| ChangeConfiguration of Types.DidChangeConfigurationParams.t| Initialized| Exit| CancelRequest of Jsonrpc.Id.t| WorkDoneProgressCancel of Types.WorkDoneProgressCancelParams.t| SetTrace of Types.SetTraceParams.t| UnknownNotification of Jsonrpc.Message.notificationval of_jsonrpc : Jsonrpc.Message.notification -> (t, string) resultval to_jsonrpc : t -> Jsonrpc.Message.notification