Format (goblint.Goblint_logs.Logs.Format)

include sig ... end

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

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

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

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

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

val newline : unit -> unit

val result : 
  ('a, Stdlib.Format.formatter, FormatKind.c, unit) Stdlib.format4 ->
  'a