package odb-server

  1. Overview
  2. Docs
Package contains no libraries
type command_option = string * string
type command = {
  1. com_tool : string;
  2. com_options : command_option list;
  3. com_phrase : string;
}
val mk_command : tool:string -> ?options:command_option list -> string -> command
exception Error of string
val input_command : Pervasives.in_channel -> command
val output_command : Pervasives.out_channel -> command -> unit
type response = {
  1. resp_tool : string;
  2. resp_code : int;
  3. resp_contents : string;
}
val mk_response : tool:string -> ?code:int -> string -> response
val input_response : Pervasives.in_channel -> response
val output_response : Pervasives.out_channel -> response -> unit
val check_response : response -> string