[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Beginner question about arrays

I'm very new to TLA+ and I've been trying to figure out if I can use arrays like a queue. Basically I want to move the first element of the array to the back then move everything forward one step. Like a queue were the first person in line went to the back.

Is this possible?