concat : string -> string -> string
- concat "1" ""; > val it = "1" : string - concat "hello" "world"; > val it = "helloworld" : string - concat "hello" (concat " " "world"); > val it = "hello world" : string
This function is open at the top level and is not the same as the Basis function String.concat. The latter concatenates a list of strings.