1\DOC itlist
2
3\TYPE {itlist : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b}
4
5\SYNOPSIS
6List iteration function. Applies a binary function between adjacent elements
7of a list.
8
9\KEYWORDS
10list.
11
12\DESCRIBE
13{itlist f [x1,...,xn] b} returns
14{
15   f x1 (f x2 ... (f xn b)...)
16}
17An invocation {itlist f list b} returns {b} if {list} is empty.
18
19\FAILURE
20Fails if some application of {f} fails.
21
22\EXAMPLE
23{
24- itlist (curry op+) [1,2,3,4] 0;
25val it = 10 : int
26
27}
28
29
30\SEEALSO
31Lib.itlist2, Lib.rev_itlist, Lib.rev_itlist2, Lib.end_itlist.
32\ENDDOC
33