Mercurial > urweb

diff src/list_util.sig @ 191:aa54250f58ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parametrized datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 10:28:32 -0400
parents 6230bdd122e7
children 73456bfde988
line wrap: on
line diff
--- a/src/list_util.sig	Thu Aug 07 13:09:26 2008 -0400
+++ b/src/list_util.sig	Fri Aug 08 10:28:32 2008 -0400
@@ -41,5 +41,6 @@
     val search : ('a -> 'b option) -> 'a list -> 'b option
 
     val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
+    val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
 
 end