end_itlist : ('a -> 'a -> 'a) -> 'a list -> 'a
- SYNOPSIS
-
List iteration function. Applies a binary function between adjacent elements
of a list.
- DESCRIPTION
-
end_itlist f [x1;...;xn] returns f x1 ( ... (f x(n-1) xn)...).
Returns x for a one-element list [x].
- FAILURE CONDITIONS
-
Fails with end_itlist if list is empty.
- EXAMPLE
-
# end_itlist (+) [1;2;3;4];;
val it : int = 10
- SEE ALSO
-
itlist, rev_itlist.