diff src/list_util.sig @ 120:6230bdd122e7

Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents 3739af9e727a
children aa54250f58ac
line wrap: on
line diff
--- a/src/list_util.sig	Sun Jul 13 16:11:25 2008 -0400
+++ b/src/list_util.sig	Sun Jul 13 20:07:10 2008 -0400
@@ -40,4 +40,6 @@
 
     val search : ('a -> 'b option) -> 'a list -> 'b option
 
+    val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
+
 end