Module CoqworkmgrApi

type priority =
| Low
| High
val string_of_priority : priority -> string
val priority_of_string : string -> priority
val async_proofs_worker_priority : priority Stdlib.ref
val init : priority -> unit
val get : int -> int
val tryget : int -> int option
val giveback : int -> unit
type request =
| Hello of priority
| Get of int
| TryGet of int
| GiveBack of int
| Ping
type response =
| Tokens of int
| Noluck
| Pong of int * int * int
val connect : string -> Unix.file_descr option
exception ParseError
val parse_request : string -> request
val parse_response : string -> response
val print_request : request -> string
val print_response : response -> string