package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type priority =
  1. | Low
  2. | High
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 =
  1. | Hello of priority
  2. | Get of int
  3. | TryGet of int
  4. | GiveBack of int
  5. | Ping
type response =
  1. | Tokens of int
  2. | Noluck
  3. | 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