1\DOC commafy 2 3\TYPE {commafy : string list -> string list} 4 5\SYNOPSIS 6Add commas into a list of strings. 7 8\KEYWORDS 9string. 10 11\DESCRIBE 12An application {commafy [s1,...,sn]} yields {[s1, ",", ..., ",", sn]}. 13 14\FAILURE 15Never fails. 16 17\EXAMPLE 18{ 19- commafy ["donkey", "mule", "horse", "camel", "llama"]; 20> val it = 21 ["donkey", ", ", "mule", ", ", "horse", ", ", "camel", ", ", "llama"] : 22 string list 23 24- print (String.concat it ^ "\n"); 25donkey, mule, horse, camel, llama 26> val it = () : unit 27 28- commafy ["foo"]; 29> val it = ["foo"] : string list 30} 31 32 33\ENDDOC 34