---- MODULE MC ----
EXTENDS Increment, TLC

\* MV CONSTANT declarations@modelParameterConstants
CONSTANTS
p1, p2, p3, p4
----

\* MV CONSTANT definitions Procs
const_1729435167731155000 == 
{p1, p2, p3, p4}
----

=============================================================================
\* Modification History
\* Created Sun Oct 20 16:39:27 CEST 2024 by lamport
