Mercurial > urweb

diff src/list_util.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 aa54250f58ac
children e0ed0d4dabc9
line wrap: on
line diff
--- a/src/list_util.sig	Tue Sep 02 13:44:54 2008 -0400
+++ b/src/list_util.sig	Tue Sep 02 14:40:57 2008 -0400
@@ -42,5 +42,6 @@
 
     val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
     val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
+    val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
 
 end