map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list

SYNOPSIS

Maps a function over two lists to create one new list.

DESCRIBE
map2 f [x1,...,xn] [y1,...,yn] returns [f x1 y1,...,f xn yn].

FAILURE

Fails if the two lists are of different lengths. Also fails if any f xi yi fails.

EXAMPLE
    - map2 (curry op+) [1,2,3] [3,2,1];
    > val it = [4, 4, 4] : int list

SEEALSO  Lib,   map,   itlist,   rev_itlist,   itlist2,   rev_itlist2

HOL  Kananaskis 0