type Pattern = {#char : Char; #text : Text; #predicate : (Char → Bool)}
func split(t : Text, p : Pattern) : Iter.Iter
private func splitText(params:Text) :[Text] {
let retArr :[Text] = ;
Text.split(params, #char:"");
How to write pattern format??????
};