From bc3d86e857b3b5884aba5b61d7bedb40e76e6616 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 17:15:09 -0400
Subject: Tree-shaking

---
 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 6ec109da..18d348ef 100644
--- a/src/list_util.sig
+++ b/src/list_util.sig
@@ -33,4 +33,6 @@ signature LIST_UTIL = sig
     val mapfold : ('data, 'state, 'abort) Search.mapfolder
                   -> ('data list, 'state, 'abort) Search.mapfolder
 
+    val search : ('a -> 'b option) -> 'a list -> 'b option
+
 end
-- 
cgit v1.2.3