1\DOC map2
2
3\TYPE {map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list}
4
5\SYNOPSIS
6Maps a function over two lists to create one new list.
7
8\DESCRIBE
9{map2 f [x1,...,xn] [y1,...,yn]} returns {[f x1 y1,...,f xn yn]}.
10
11\FAILURE
12Fails if the two lists are of different lengths. Also fails if any
13{f xi yi} fails.
14
15\EXAMPLE
16{
17- map2 (curry op+) [1,2,3] [3,2,1];
18> val it = [4, 4, 4] : int list
19}
20
21
22\SEEALSO
23Lib.itlist, Lib.rev_itlist, Lib.itlist2, Lib.rev_itlist2.
24\ENDDOC
25