concat

concat‐リストを連結します。

concat ?arg arg ...?

このコマンドは各引数の先頭と末尾のスペースをカットし、全ての引数をスペースで連結します。全ての引数がリストなら、このコマンドはこれらのリストを１つのリストに連結します。引数の個数はいくつでもかまいません。例えば、コマンド

concat a b {c d e} {f {g h}}

はa b c d e f {g h}を結果として返します。

concat " a b {c " d " e} f"

はa b {c d e} fを結果として返します。

argsが指定さてない場合、結果は空の文字列です。