Splitting a String into characters
Converting a string of characters into a sequence of single characters.
To reverse the transformation, we can use string-join($seq,"") .
as for Functx:chars but with the code expanded in place
The obvious algorithm using substring
To reverse this transformation we can use string-join:
Tokenize fails due to a failure in the reg exp : FORX0003: regular expression could match empty string [at line 3, column 8]