package coq-core

  1. Overview
  2. Docs
package coq-core
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct