devkit

Development kit - general purpose library
IN THIS PACKAGE
Module Devkit_core . Log
method debug_s : logger -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method warn_s : 'b -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method info_s : 'b -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method error_s : 'b -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method put_s : 'b -> Devkit_core__Logger.level -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method debug : 'b -> 'a. 'a pr
method warn : 'b -> 'a. 'a pr
method info : 'b -> 'a. 'a pr
method error : 'b -> 'a. 'a pr
method put : 'b -> 'a. Devkit_core.Logger.level -> 'a pr
method allow : 'b -> Devkit_core.Logger.level -> unit
method level : 'b -> Devkit_core.Logger.level
method name : 'b -> string
method facility : 'b -> Devkit_core.Logger.facil