//----------------------------------------------------------------------
//  SPECIFICATION FILE (linsrch.h)
//  This module exports a single Lookup function to search
//  an integer vector for a particular value.
//----------------------------------------------------------------------
#include "bool.h"

void Lookup( /* in */  const int vec[],
             /* in */  int       vSize,
             /* in */  int       key,
             /* out */ Boolean&  found,
             /* out */ int&      loc   );

    // PRE:  vSize >= 0  &&  Assigned(vec[0..vSize-1])
    //    && Assigned(key)
    // POST: (found) --> vec[loc] == key
    //    && (NOT found) --> No vec[0..vSize-1] == key
    //                      && loc is undefined