Mercurial > urweb

diff src/print.sig @ 275:73456bfde988

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents 537db4ee89f4
children fd34210bc3e5
line wrap: on
line diff
--- a/src/print.sig	Tue Sep 02 13:44:54 2008 -0400
+++ b/src/print.sig	Tue Sep 02 14:40:57 2008 -0400
@@ -42,6 +42,8 @@
     val p_list_sep : PD.pp_desc -> 'a printer -> 'a list printer
     val p_list : 'a printer -> 'a list printer
 
+    val p_list_sepi : PD.pp_desc -> (int -> 'a printer) -> 'a list printer
+
     val fprint : PD.PPS.stream -> PD.pp_desc -> unit
     val print : PD.pp_desc -> unit
     val eprint : PD.pp_desc -> unit