package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

md5=00995ebead339d6ec1ba7859c3fc3a58

sha256=5ad39c7fa1a966a2f0a7f6dbb7e82c787439c73482f5f44b3c9fb54b040d36eb

sha512=8dd3f7d4aaabae9aa9ede13edee2b22214c0d2e2780bb08b2ca8ed588d74fc6d9b1908bb31dfee49c949c7cc425fb98897b8e0f11280070ebd99b965908ea133

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 level : Devkit_core.Logger.level

method name : string

method facility : Devkit_core.Logger.facil