formal-verification - 如何在 TLA+ 中将数字转换为字符串

Question

实际上，我想{"1", "2", "3", ..., "N"}从集合中构建一个1..N集合。如何将数字转换为字符串？

Answer 1

该TLC模块提供了一个ToString运算符。