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.