------------------------- MODULE NumbersAMinBMaxTest --------------------------
EXTENDS Numbers
-------------------------------------------------------------------------------

AMinBMaxTest ==
    /\ a = 0
    /\ b = MaxNumber

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