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| DidChangeWatchedFiles of Types.DidChangeWatchedFilesParams.t| DidCreateFiles of Types.CreateFilesParams.t| DidDeleteFiles of Types.DeleteFilesParams.t| DidRenameFiles of Types.RenameFilesParams.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| WorkDoneProgress of Progress.t Types.ProgressParams.t| NotebookDocumentDidOpen of Types.DidOpenNotebookDocumentParams.t| NotebookDocumentDidChange of Types.DidChangeNotebookDocumentParams.t| NotebookDocumentDidSave of Types.DidSaveNotebookDocumentParams.t| NotebookDocumentDidClose of Types.DidCloseNotebookDocumentParams.t| UnknownNotification of Jsonrpc.Notification.tval of_jsonrpc : Jsonrpc.Notification.t -> (t, string) resultval to_jsonrpc : t -> Jsonrpc.Notification.t