package devkit

  1. Overview
  2. Docs
package devkit
Legend:
Library
Module
Module type
Parameter
Class
Class type
method debug_s : ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method warn_s : ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method info_s : ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method error_s : ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method put_s : Devkit_core__Logger.level -> ?exn:exn -> ?lines:bool -> ?backtrace:bool -> ?saved_backtrace:string list -> string -> unit
method debug : 'a. 'a pr
method warn : 'a. 'a pr
method info : 'a. 'a pr
method error : 'a. 'a pr
method put : 'a. Devkit_core.Logger.level -> 'a pr
method allow : Devkit_core.Logger.level -> unit
method name : string
method facility : Devkit_core.Logger.facil