* This encodes LSP RPC state machine.
include module type of Rpc.Serverinclude Rpc.S
with type 'a out_request = 'a Server_request.t
and type out_notification = Server_notification.t
and type 'a in_request = 'a Client_request.t
and type in_notification = Client_notification.ttype 'a out_request = 'a Server_request.ttype out_notification = Server_notification.ttype 'a in_request = 'a Client_request.ttype in_notification = Client_notification.tmodule Handler : sig ... endval state : 'a t -> 'aval make : 'state Handler.t -> Rpc.Stream_io.t -> 'state -> 'state tval stop : 'state t -> unit Import.Fiber.tval request :
_ t ->
'resp out_request ->
('resp, Jsonrpc.Response.Error.t) result Import.Fiber.tval notification : _ t -> out_notification -> unit Import.Fiber.tval initialized : _ t -> Types.InitializeParams.t Import.Fiber.tval start : _ t -> unit Import.Fiber.t