如何在 TLA+ 中将数字转换为字符串
How to convert number to string in TLA+
实际上，我想从 1..N 集构建一个 {"1", "2", "3", ..., "N"} 集。如何将数字转换为字符串？
TLC 模块提供了一个 ToString 运算符。
实际上，我想从 1..N 集构建一个 {"1", "2", "3", ..., "N"} 集。如何将数字转换为字符串？
TLC 模块提供了一个 ToString 运算符。