remove_wspace
Portable.remove_wspace : string -> string
Removes all whitespace characters from a string
A call to remove_wspace s returns a string identical to s except
that all of the characters for which Char.isSpace is true have been
removed. The implementation is
String.translate (fn c => if Char.isSpace c then "" else str c) s
Failure
Never fails.