concat : string -> string -> string

SYNOPSIS
Concatenates two ML strings.

FAILURE
Never fails.

EXAMPLE
    - concat "1" "";
    > val it = "1" : string

    - concat "hello" "world";
    > val it = "helloworld" : string

    - concat "hello" (concat " " "world");
    > val it = "hello world" : string

COMMENTS

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.


HOL  Kananaskis 0