String 如何在Rascal中删除字符串中的空白？

当你有一个像这样的流氓字符串：

"\n\tThis is a specification of a toy Transaction.\n\tVia a transaction money
can be transfered between two accounts\n"

或

<如何删除字符串中间的空白？< /p> 我现在的解决方案是调用一个替换'\n'、'\t'和'\r'的函数，但这似乎不是一个可持续的解决方案。此外，函数trim仅删除开头和结尾处的空白

visit (x) { 
  case /[\t\n]/ => "" 
}

visit (x) { 
  case /[\t\n]/ => "" 
}