package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=222f8ac131b1d970dab7eeb2714bfd6b9338b88b1082e6e01c136ae19e7eaef4

sha512=c9e6d93e3d21e5530c0f4d5baca51bf1f0a5d19248f8af7678d0665bb5cdf295d7aaaaa3e50eb2e44b8720e55097cc675af4dc8ec45acf9da39feb3eae1405d5

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