--------------------------- MODULE MC_LruPartClear ---------------------------
EXTENDS LruPartClear
P1 == {0}
O1 == <<0>>
P2 == {0, 1}
O2 == <<0, 1>>
P3 == {0, 1, 2}
O3 == <<0, 1, 2>>
TwoPutters == {"p1", "p2"}
=============================================================================