Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 13078bbe authored by MARCHE Claude's avatar MARCHE Claude

add comments to API of module prove_client

parent 3876183a
......@@ -9,16 +9,30 @@
(* *)
(********************************************************************)
exception NotConnected
exception AlreadyConnected
exception InvalidAnswer of string
val connect_external : string -> unit
(** connects to an already running server, with the given socket name
raise AlreadyConnected if a server is already running
*)
val connect_internal : unit -> unit
(** starts a new process for a server and connects to it
raise AlreadyConnected if a server is already running
*)
val disconnect : unit -> unit
val is_connected : unit -> bool
(** checks if a server is already running *)
exception NotConnected
(** all functions below will raise NotConnected if no server is running *)
val disconnect : unit -> unit
val set_max_running_provers : int -> unit
val send_request :
id:int ->
......@@ -37,9 +51,9 @@ type final_answer = {
}
type answer =
| Started of int
| Started of int (* the request with given id is running but not finished yet *)
| Finished of final_answer
val read_answers : blocking:bool -> answer list
exception InvalidAnswer of string
val set_max_running_provers : int -> unit
val read_answers : blocking:bool -> answer list
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment