From 811a3831805bf7a87ed3a64156f4ac6f6246edb9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 13 Jul 2008 20:07:10 -0400
Subject: Passing an argument to a web function

---
 src/list_util.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/list_util.sig')

diff --git a/src/list_util.sig b/src/list_util.sig
index e0629c5d..7bc4452c 100644
--- a/src/list_util.sig
+++ b/src/list_util.sig
@@ -40,4 +40,6 @@ signature LIST_UTIL = sig
 
     val search : ('a -> 'b option) -> 'a list -> 'b option
 
+    val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
+
 end
-- 
cgit v1.2.3