Похоже, что в стандартной библиотеке нет функции типа char -> string -> string
, которая вставляет char
перед (или в конце) string
. Существуют обходные пути, например, использование String.make
или String.blit
. Есть ли элегантный способ сделать это?