Pretty (goblint.Goblint_logs.Logs.Pretty)

include sig ... end

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

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

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

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

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

val newline : unit -> unit

val result : 
  ('a, PrettyKind.b, GoblintCil.Pretty.doc, unit) Stdlib.format4 ->
  'a