Class Jsonrpc2.notify_back

val mutable uri : Lsp.Types.DocumentUri.t option
method cancel_request : Jsonrpc.Id.t -> unit IO.t
method get_uri : Lsp.Types.DocumentUri.t option
method send_diagnostic : Diagnostic.t list -> unit IO.t
method send_log_msg : type_:Lsp__Types.MessageType.t -> string -> unit IO.t
method send_notification : Lsp.Server_notification.t -> unit IO.t
method send_request : 'from_server. 'from_server Lsp.Server_request.t -> (('from_server, Jsonrpc.Response.Error.t) result -> unit IO.t) -> Req_id.t IO.t
method set_uri : Lsp.Types.DocumentUri.t -> unit
method telemetry : Lsp__.Import.Json.t -> unit IO.t
method work_done_progress_begin : Lsp.Types.WorkDoneProgressBegin.t -> unit IO.t
method work_done_progress_end : Lsp.Types.WorkDoneProgressEnd.t -> unit IO.t
method work_done_progress_report : Lsp.Types.WorkDoneProgressReport.t -> unit IO.t