package odb-server

  1. Overview
  2. Docs
Package contains no libraries
type tool = {
  1. tool_name : string;
  2. tool_execute : Odb_comm.command_option list -> string -> Odb_comm.response;
}
exception Unknown_tool of string
module Tool_map : sig ... end
val protect : ('a -> 'b) -> 'a -> 'b
val get_tools : unit -> tool Tool_map.t * int Tool_map.t
val set_tools : tool Tool_map.t -> int Tool_map.t -> unit
val get_tool : string -> tool
val register_tool : ?port:int -> tool -> unit
val load_tool : string -> unit
exception Unknown_command of string
val mk_tool : string -> ?doc:Odb_doc.tool_doc -> (string * (Odb_comm.command_option list -> string array -> Odb_comm.response)) list -> tool
val register_remote_tool : string -> int -> unit
val call : tool:Tool_map.key -> ?options:Odb_comm.command_option list -> string -> Odb_comm.response
val call_and_check : tool:Tool_map.key -> ?options:Odb_comm.command_option list -> string -> string