New functions in String module: init, map, rev_map, rev_iter, fold_left, fold_right...
commitfd0cb526a661884a5a43b550608964b046704439
authorEric Norige <thelema314@gmail.com>
Sat, 9 Feb 2008 05:34:02 +0000 (8 23:34 -0600)
committerEric Norige <thelema314@gmail.com>
Sat, 9 Feb 2008 05:34:02 +0000 (8 23:34 -0600)
treeeca90d102d51d0b313bf1180d029bd2f4b2a4a57
parent1423889277629bb03d0e7d9540806297f0d6f463
New functions in String module: init, map, rev_map, rev_iter, fold_left, fold_right, explode, implode
stdlib/string.ml
stdlib/string.mli