GobFormat (goblint.GobFormat)

val pp_set_ansi_color_tags : Stdlib.Format.formatter -> unit

val pp_print_nothing : Stdlib.Format.formatter -> unit -> unit

val pp_infinity : int

val pp_set_infinite_geometry : Stdlib.Format.formatter -> unit

val asprintf : 
  ('a, Stdlib.Format.formatter, unit, string) Stdlib.format4 ->
  'a0

val asprint : (Stdlib.Format.formatter -> 'a -> unit) -> 'b -> string