devkit

Development kit - general purpose library
IN THIS PACKAGE
Module type Devkit_core . Logger . Put
val put : level -> facil -> string -> unit