itlist : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b

SYNOPSIS

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

DESCRIBE
itlist f [x1,...,xn] b returns
   f x1 (f x2 ... (f xn b)...)
It returns b if list is empty.

FAILURE

Fails if some application of f fails.

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

SEEALSO  Lib,   itlist2,   rev_itlist,   rev_itlist2,   end_itlist

HOL  Kananaskis 0