GobPretty (goblint.Goblint

val show : GoblintCil.Pretty.doc -> string

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

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

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