module Client_notification : sig ... endmodule Client_request : sig ... endmodule Client : sig ... endmodule Extension : sig ... endProtocol extensions that aren't part of the spec
module Header : sig ... endmodule Import : sig ... endmodule Jsonrpc : sig ... endmodule Logger : sig ... endLog module * * 1. Provide functions to log arbitrary messages, filtered according to a * section and a verbosity level. * * 2. Allow to setup a destination for these log messages. * *
module Rpc : sig ... endmodule Scheduler : sig ... endmodule Server_notification : sig ... endmodule Server_request : sig ... endmodule Server : sig ... end* This encodes LSP RPC state machine.
module Snippet : sig ... endmodule Text_document : sig ... endmodule Types : sig ... endmodule Uri : sig ... endmodule Fiber_stream : sig ... endmodule Io : sig ... endmodule Private : sig ... end