package command_rpc
-
command_rpc
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package command_rpc
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Utilities for RPC communication with a child process over stdin and stdout.
module Command : sig ... endCommand is used for setting up an RPC server in the child process. By default this will set up an RPC server, but passing the -sexp flag will make it run the implementation on a sexp read from stdin instead. Passing the -menu flag will cause the command to print out a sexp indicating which RPC names and versions are supported.
module Connection : sig ... end