package coq

  1. Overview
  2. Docs
package coq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
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