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

Question

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

Answer 1

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