|
![]() |
||||||||||||||
Primitive Data Types TutorialFunction strCatString function strCat(x,y) : (String * String -> String) computes the concatenation of two given strings. It is absolutely equivalent to string operator +. Source code:{# "abc" + "def", strCat( "abc", "def" ) #} Result:{# "abcdef", "abcdef" #}
|
|
||||||||||||||
© 2006 Saša Malkov | |||||||||||||||