Module CoqworkmgrApiSource

Sourcetype priority =
  1. | Low
  2. | High
Sourceval string_of_priority : priority -> string
Sourceval priority_of_string : string -> priority
Sourceval default_async_proofs_worker_priority : priority
Sourceval init : priority -> unit
Sourceval get : int -> int
Sourceval tryget : int -> int option
Sourceval giveback : int -> unit
Sourcetype request =
  1. | Hello of priority
  2. | Get of int
  3. | TryGet of int
  4. | GiveBack of int
  5. | Ping
Sourcetype response =
  1. | Tokens of int
  2. | Noluck
  3. | Pong of int * int * int
Sourceval connect : string -> Unix.file_descr option
Sourceexception ParseError
Sourceval parse_request : string -> request
Sourceval parse_response : string -> response
Sourceval print_request : request -> string
Sourceval print_response : response -> string