Qed.Plib
Pretty Printing Utilities.
Message Formatters
Pretty printers
Function calls
Operators
Iterations
val iteri : ( index -> 'a -> unit ) -> 'a list -> unit
val global_substitute_fmt :
Str.regexp ->
string printer ->
Stdlib.Format.formatter ->
string ->
unit
string substitution
substitute the result of the given printer for each non-overlapping part of the given string that match the regexp
call the given function for each non-overlapping part of the given string that match the regexp
substitute_list templ print_arg fmt l
prints in the formatter fmt
the list l
using the template templ
and the printer print_arg
. The template use %[0-9]+
hole.