* Added Array.{map2,fold_left2,fold_right2} (from stdlib2)
commit77428dbb17a78b521aeb58f416b314a2e23c42d1
authorEric Norige <thelema314@gmail.com>
Thu, 31 Jan 2008 15:53:34 +0000 (31 09:53 -0600)
committerEric Norige <thelema314@gmail.com>
Fri, 1 Feb 2008 20:01:37 +0000 (1 14:01 -0600)
treed299cfe75ab785f1d17275122510dc1146d7d8af
parent211e54296532a5ecb18d948e257bfdb07913e72c
* Added Array.{map2,fold_left2,fold_right2} (from stdlib2)
stdlib/array.ml
stdlib/array.mli