package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init : Flags.priority -> unit

val get : int -> int

val tryget : int -> int option

val giveback : int -> unit

type request =

| Hello of Flags.priority
| Get of int
| TryGet of int
| GiveBack of int
| Ping

type response =

| Tokens of int
| Noluck
| 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