------------------------- MODULE NumbersAMaxBMinTest --------------------------
EXTENDS Numbers
-------------------------------------------------------------------------------

AMaxBMinTest ==
    /\ a = MaxNumber
    /\ b = 0

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