[tlaplus] Initialize an empty boolean array

[Yash Patange <yash.frost1997@xxxxxxxxx>]

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!

-- 
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/815eb28e-8049-49b0-b10d-02db5504201cn%40googlegroups.com.