Logs (goblint.Goblint

module Level : sig ... end

module Result : sig ... end

module type Kind = sig ... end

module PrettyKind : sig ... end

module FormatKind : sig ... end

module BatteriesKind : sig ... end

module MakeKind (Kind : Kind) : sig ... end

module Pretty : sig ... end

module Format : sig ... end

module Batteries : sig ... end

include module type of struct include Pretty end

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