This is documentation for the next version of Alloy. For the latest stable release, go to the latest version.
split
split
produces a list by dividing a string at all occurrences of a separator.
split(list, separator)
Examples
> split("foo,bar,baz", "," )
["foo", "bar", "baz"]
> split("foo", ",")
["foo"]
> split("", ",")
[""]