package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec_sse_shadow_stack.Logger`

type channel

val fatal_channel : channel

val error_channel : channel

val result_channel : channel

val warning_channel : channel

val info_channel : channel

val step_channel : channel

val debug_channel : channel

val fatal : 
  ?e:??? ->
  ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 ->
  'a

val error : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val result : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val warning : 
  ?level:??? ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val set_warning_level : int -> unit

val get_warning_level : unit -> int

val info : 
  ?level:??? ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val set_info_level : int -> unit

val get_info_level : unit -> int

val step : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

val debug : 
  ?level:??? ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val fdebug : 
  ?level:??? ->
  (unit -> (unit, Stdlib.Format.formatter, unit) Stdlib.format) ->
  unit

val set_debug_level : int -> unit

val get_debug_level : unit -> int

val is_debug_enabled : unit -> bool

val set_tagged_entry : bool -> unit

val set_log_level : string -> unit

val quiet : unit -> unit

val channel_set_color : bool -> channel -> unit

val channel_get_color : channel -> bool

val set_color : bool -> unit

val get_color : unit -> bool

val set_logging : (string -> unit) option -> channel -> unit