package devkit

You can search for identifiers within the package.

in-package search v0.2.0

Development kit - general purpose library

Install

sha256=222f8ac131b1d970dab7eeb2714bfd6b9338b88b1082e6e01c136ae19e7eaef4

sha512=c9e6d93e3d21e5530c0f4d5baca51bf1f0a5d19248f8af7678d0665bb5cdf295d7aaaaa3e50eb2e44b8720e55097cc675af4dc8ec45acf9da39feb3eae1405d5

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