xxxxxxxxxx
# [];;
- : 'a list = []
# [1; 2; 3];;
- : int list = [1; 2; 3]
# [false; true; false];;
- : bool list = [false; true; false]
# [[1; 2]; [3; 4]; [5; 6]];;
- : int list list = [[1; 2]; [3; 4]; [5; 6]]
xxxxxxxxxx
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a
(* fold_left f init [b1; ; bn] is f ( (f (f init b1) b2) ) bn *)