--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/aa716feb-a210-4857-9868-ab2903ff8843%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/EAA3CDAE-9C70-4C27-BAA7-0B9D6A4F74DE%40gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CA%2BkanUJw_dRWx%2B1%3DAxWsRB0QkXyrbn12syTq7ZteJx8%3DqXbv7g%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/4D56784E-FD04-43EF-959B-3555F78BF520%40gmail.com.
That's a set map and will give you all of the values in the sequence. Note that while in TLA+ strings are sequences, TLC treats them as atoms. If you're using TLC and need to convert strings to sets, you're better off storing the string as a sequence, like
Z == <<'s', 'o', 'm', 'e'>>
H
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CA%2BkanUKWqLFT5u6L%2BOqhHTaTWJT8-xMn%3DEZJ2VY7wR1gyK5u%2BA%40mail.gmail.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/545b2faa-6080-e06f-2451-e7c76d9451ad%40gmail.com.