Up – Package index » goblint index » Library goblint.logs » Goblint_logs » Logs » Batteries

Module `Logs.Batteries`Source

include sig ... end

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

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

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

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

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

Sourceval newline : unit -> unit

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