Module Command_rpc

Utilities for RPC communication with a child process over stdin and stdout.

module Command : sig .. end

Command is used for setting up an RPC server in the child process.

module Connection : sig .. end