Logs.PrettyKind
type b = unit
type c = GoblintCil.Pretty.doc
val log : Level.t -> ('a, unit, GoblintCil.Pretty.doc, unit) Stdlib.format4 -> 'b