let
snippet s n =
let
res = first_chars s n
in
res ^
if
String
.length s <= n
then
""
else
"..."