From 2a572eeba9d521400872e6588b3f709818a5d412 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Sep 2008 14:40:57 -0400
Subject: Validating schema of a live database

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

(limited to 'src/list_util.sig')

diff --git a/src/list_util.sig b/src/list_util.sig
index 33474b01..3340fffc 100644
--- a/src/list_util.sig
+++ b/src/list_util.sig
@@ -42,5 +42,6 @@ signature LIST_UTIL = sig
 
     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
-- 
cgit v1.2.3