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

问题描述

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

解决方法

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