//----------------------------------------------------------------------
//  SPECIFICATION FILE (heapsort.h)
//  This module exports a function to sort an integer vector
//  into ascending order.
//----------------------------------------------------------------------

void Sort( /* inout */ int vec[],
           /* in */    int vSize );

    // PRE:  Assigned(vSize)  &&  Assigned(vec[0..vSize-1])
    // POST: vec[0..vSize-1] contain same values as
    //       vec[0..vSize-1]<entry> but are sorted into ascending order