You are viewing a development version of the library. Goto the latest version.

Module FormatExt

module FormatExt: sig .. end
Extra functions for Format
Author(s): Sylvain Le Gall

val pp_print_string_spaced : Format.formatter -> string -> unit
Print a string considering ' ' as Format space.
val pp_print_list : (Format.formatter -> 'a -> unit) ->
('b, Format.formatter, unit) Pervasives.format ->
Format.formatter -> 'a list -> unit
pp_print_list pp_elem sep fmt lst Print the list lst of elements using pp_elem for each element and separate them by sep.