Re: [tlaplus] How can I define a sequence as part of a record's fields?

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

SUBSET {1..4} equals {{}, {1,2,3,4}}

SUBSET (1..4) equals {{}, {1}, {2}, …, {2, 3, 4}, {1,2,3,4}}

Markus

> On Dec 3, 2022, at 9:50 AM, Alan Munirji <munirjialan@xxxxxxxxx> wrote:
> 
> Also if I may ask here, what is the proper way to generate a powerset of a range? 
> 
> SUBSET {1..4}
> and
> SUBSET 1..4
> 
> both don't seem to work.
> 
> I either get an error, or I seem to get: {{}, {1,2,3,4}} when I try to print the result.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/789C1FC3-F771-49B7-B08D-63FA935F6149%40lemmster.de.