package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

md5=00995ebead339d6ec1ba7859c3fc3a58

sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb

sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133

Sourcetype level = [

]

Sourcetype facil = {

}

Sourceval int_level : [< `Debug | `Error | `Info | `Warn ] -> int

Sourceval set_filter : facil -> [< `Debug | `Error | `Info | `Warn ] -> unit

Sourceval get_level : facil -> [> `Debug | `Error | `Info | `Warn ]

Sourceval allowed : facil -> [< `Debug | `Error | `Info | `Warn ] -> bool

Sourceval string_level : [< `Debug | `Error | `Info | `Warn ] -> string

Sourceval level : string -> [> `Debug | `Error | `Info | `Warn ]

Sourcemodule type Target = sig ... end

Sourcemodule type Put = sig ... end

Sourcemodule PutSimple (T : Target) : Put

Sourcemodule PutLimited (T : Target) : Put

Sourcemodule Make (T : Put) : sig ... end