List.{mapi,chop} (with rev_xxx and xxx_tr versions)
commit1423889277629bb03d0e7d9540806297f0d6f463
authorEric Norige <thelema314@gmail.com>
Sat, 2 Feb 2008 19:23:40 +0000 (2 13:23 -0600)
committerEric Norige <thelema314@gmail.com>
Sat, 2 Feb 2008 19:23:40 +0000 (2 13:23 -0600)
tree56ce7d25591dd88de84bee33df481ce1dfc6508e
parent0e81378c44ed7c9bbdc099d9c590e182c8cedc45
List.{mapi,chop} (with rev_xxx and xxx_tr versions)
stdlib/list.ml
stdlib/list.mli