From b0eb28d7ea4eb75efce79ab7493b9e21842b80b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 12 May 2009 18:02:25 -0400
Subject: Improvements while working on Graftid

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

(limited to 'src/list_util.sig')

diff --git a/src/list_util.sig b/src/list_util.sig
index 26ec72c1..11af6826 100644
--- a/src/list_util.sig
+++ b/src/list_util.sig
@@ -46,4 +46,8 @@ signature LIST_UTIL = sig
 
     val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
 
+    val appi : (int * 'a -> unit) -> 'a list -> unit
+
+    val appn : (int -> unit) -> int -> unit
+
 end
-- 
cgit v1.2.3