Module CoqworkmgrApi
val string_of_priority : priority -> string
val priority_of_string : string -> priority
val default_async_proofs_worker_priority : priority
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