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.