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