//----------------------------------------------------------------------
//  SPECIFICATION FILE (powers.h)
//  This module provides exponentiation functions.
//----------------------------------------------------------------------

int PowerOfInt( /* in */ int someInt,
                /* in */ int exp      );
    // PRE:  Assigned(someInt)  &&  exp >= 0
    // POST: FCTVAL == someInt raised to the power "exp"
    //       (NOTE: Large exponents may produce overflow)

float PowerOfFloat( /* in */ float someFloat,
                    /* in */ int   exp       );
    // PRE:  Assigned(someFloat)  &&  Assigned(exp)
    //    && (exp < 0) --> someFloat != 0.0
    // POST: FCTVAL == someFloat raised to the power "exp"
    //       (NOTE: Large exponents may produce overflow)