package dose3

You can search for identifiers within the package.

in-package search v0.2.0

Dose library (part of Mancoosi tools)

Install

Dune Dependency

www.mancoosi.org Edit opam file Versions (5)

Authors

Maintainers

Sources

dose3-6.1.tar.gz

md5=dedc2f58f2c2b59021f484abc6681d93

sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

doc/dose3.common/Dose_common/Util/Info/index.html

Module `Util.Info`Source

Sourcetype t

Sourceval create : ?enabled:bool -> label -> t

create a new message handle with label t . * Printing is disabled per default

Sourceval eprintf : ?raw:bool -> t -> ('a, unit, string, unit) format4 -> 'a

Print the message on stderr if the Util module has been * set to verbose using the function make_verbose and * either the handle t is enable or all handles were enabled with * the function all_enabled

Sourceval enable : label -> unit

enable l the handle with label l

Sourceval disable : label -> unit

disable l the handle with label l

Sourceval all_disabled : unit -> unit

disable all handles in the module

Sourceval all_enabled : unit -> unit

enable all handles in the module

Sourceval avalaible : unit -> label list

return the list of all labels known to the module

Sourceval is_enabled : label -> bool