New functions: String.{ends_width,starts_with,find,strip,exists,split,nsplit,join...
commit94b679acd80d8922df3f858969e75a2739bf35c3
authorEric Norige <thelema314@gmail.com>
Sun, 24 Feb 2008 01:52:32 +0000 (23 19:52 -0600)
committerEric Norige <thelema314@gmail.com>
Sun, 24 Feb 2008 01:52:32 +0000 (23 19:52 -0600)
treeb11a800123a9be55e8b67ca2fb62834aa4959eb2
parent33a5407818a2c62842b044908988a33ef931a7f2
New functions: String.{ends_width,starts_with,find,strip,exists,split,nsplit,join,slice,lchop,rchop,of_int,of_float_of_char,to_int,to_float,replace_chars,replace}
stdlib/string.ml
stdlib/string.mli