Module Pretty (.ml)

module Pretty: sig .. end

Pretty printing functions

val vt_width : int

Width of the virtual terminal (80 if cannot be detected)

val print_line : Format.formatter -> unit -> unit

prints separating line

val print_double_line : Format.formatter -> unit -> unit

prints separating double line

val print_title : Format.formatter -> string -> unit

prints section title for stats

val print_list : (Format.formatter -> 'a -> unit) ->
       ('b, Format.formatter, unit) Pervasives.format ->
       Format.formatter -> 'a list -> unit

print_list f sep fmt l prints list l whose elements are printed with f, each of them being separated by the separator sep.