let
string_string : (string, string) t =
String
.blit