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

Module `Logs.BatteriesKind`Source

Sourcetype b = unit BatIO.output

Sourcetype c = unit

Sourceval log : Level.t -> ('a, unit BatInnerIO.output, unit, unit) format4 -> 'a