package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=dae965685dceed47ad8e9844f12fe707dafdf2c3bdd46d0431d5b4d1e7754b23

sha512=b94ade804d751db87434042bbaa821fa8e82e233820a76806f910e2da040094b137e88a3579911a1626930912622b064c776ddbcb6991fb7111021ebf6553fdc

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