new function String.of_list (takes a 'a -> string and a 'a list and returns one string)
commit1cb8355d2de6c6b73eaf81ca19db0769c6bae28e
authorEric Norige <thelema314@gmail.com>
Tue, 19 Feb 2008 06:18:51 +0000 (19 00:18 -0600)
committerEric Norige <thelema314@gmail.com>
Tue, 19 Feb 2008 06:18:51 +0000 (19 00:18 -0600)
treee15ffaa2214f0184b1e3a773770d433a100a3bc9
parent9f20a268d21b647acd16ecbff5c836ab313448e2
new function String.of_list (takes a 'a -> string and a 'a list and returns one string)
stdlib/string.ml
stdlib/string.mli