Mercurial > urweb
diff src/list_util.sig @ 792:d20d6afc1206
Improvements while working on Graftid
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 12 May 2009 18:02:25 -0400 |
parents | e0ed0d4dabc9 |
children | b2413e4dd109 |
line wrap: on
line diff
--- a/src/list_util.sig Sun May 10 10:13:41 2009 -0400 +++ b/src/list_util.sig Tue May 12 18:02:25 2009 -0400 @@ -46,4 +46,8 @@ 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