[tlaplus] Set within a set

[Anshu ranjan <a.ranjan.cool@xxxxxxxxx>]

I was wondering if it is possible to have a set within a set. I am looking for something like this:

cache = {{value1, valueIdx1, timestamp1}, {value2, valueIdx2, timestamp2} ... }

I tried to init cache using something like this:
cache = [ t \in 1..totalTime |-> {0, 0, 0} ]

The init works fine. But when I check for something like
cache[0]["value1"] < cache[1]["value1"]

I get an error saying applying function to a non function. 

Any help is appreciated. 

-- 
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/187338c0-d08a-4bab-8b93-12ef87c69709n%40googlegroups.com.