Remove excess whitespace characters from a string
String_Type strcompress (String_Type s, String_Type white)
The strcompress function compresses the string s by replacing a sequence of one or more characters from the set white by the first character of white. In addition, it also removes all leading and trailing characters from s that are part of white.
The expression
strcompress (",;apple,,cherry;,banana", ",;");
returns the string "apple,cherry,banana".
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}