----------------------------------------------------------------------
end_itlist                                                       (Lib)
----------------------------------------------------------------------
end_itlist : ('a -> 'a -> 'a) -> 'a list -> 'a

SYNOPSIS
List iteration function. Applies a binary function between adjacent elements
of a list.

DESCRIBE
{end_itlist f [x1,...,xn]} returns {f x1 ( ... (f x(n-1) xn)...)}.
Returns {x} for a one-element list {[x]}.

FAILURE
Fails if list is empty, or if an application of {f} raises an exception.

EXAMPLE

- end_itlist (curry op+) [1,2,3,4];
> val it = 10 : int




SEEALSO
Lib.itlist, Lib.rev_itlist, Lib.itlist2, Lib.rev_itlist2.

----------------------------------------------------------------------