Hey guys I'm new here and also new to TLA+!
How can I initialize an empty boolean array in Pluscal? This array will track the consensus decision of each epoch if it's accepted as True or declined as False.
Is there a way to make it Global and can be changed inside the 'fair process' block ?
Or any other methods appreciated.
Thanks!