Mercurial > urweb
comparison src/list_util.sig @ 313:e0ed0d4dabc9
Termination checking
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 09 Sep 2008 11:46:33 -0400 |
parents | 73456bfde988 |
children | d20d6afc1206 |
comparison
equal
deleted
inserted
replaced
312:f387d12193ba | 313:e0ed0d4dabc9 |
---|---|
42 | 42 |
43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list | 43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list |
44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b | 44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b |
45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b | 45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b |
46 | 46 |
47 val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state | |
48 | |
47 end | 49 end |