Effectively, I want to build a {"1", "2", "3", ..., "N"} set from 1..N set. How do I convert numbers to strings?
How to convert number to string in TLA+
Viewed 137
1 Answers
Related
Effectively, I want to build a {"1", "2", "3", ..., "N"} set from 1..N set. How do I convert numbers to strings?