How to convert number to string in TLA+

Question

Effectively, I want to build a {"1", "2", "3", ..., "N"} set from 1..N set. How do I convert numbers to strings?

What do you gain from representing numbers as strings? – lambda.xy.x Mar 17 '21 at 12:30 — lambda.xy.x, Mar 17 '21 at 12:30

score 5 · Accepted Answer · answered Mar 17 '21 at 02:17

5

The TLC module provides a ToString operator.

answered Mar 17 '21 at 02:17

Hovercouch

1 Answers1