Batteries (goblint.Goblint_logs.Logs.Batteries)

include sig ... end

val log : 
  Level.t ->
  ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 ->
  'a

val debug : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a

val info : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a

val warn : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a

val error : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a

val newline : unit -> unit

val result : ('a, BatteriesKind.b, BatteriesKind.c, unit) Stdlib.format4 -> 'a