Mercurial > urweb

diff src/list_util.sig @ 792:d20d6afc1206

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 May 2009 18:02:25 -0400
parents e0ed0d4dabc9
children b2413e4dd109
line wrap: on
line diff
--- a/src/list_util.sig	Sun May 10 10:13:41 2009 -0400
+++ b/src/list_util.sig	Tue May 12 18:02:25 2009 -0400
@@ -46,4 +46,8 @@
 
     val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
 
+    val appi : (int * 'a -> unit) -> 'a list -> unit
+
+    val appn : (int -> unit) -> int -> unit
+
 end