GobPretty (p.goblint.2.2.1.doc.goblint.lib.Goblint

val show : GoblintCil.Pretty.doc -> string

val sprint : (unit -> 'a -> GoblintCil.Pretty.doc) -> 'a -> string

val sprintf : ('a, unit, GoblintCil.Pretty.doc, string) format4 -> 'a

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