------------------------- MODULE NumbersAMaxBMaxTest --------------------------
EXTENDS Numbers
-------------------------------------------------------------------------------

AMaxBMaxTest ==
    /\ a = MaxNumber
    /\ b = MaxNumber

===============================================================================