#ifndef __IBS_H__
#define __IBS_H__

/**
 * ibs.h
 *   A simple integer binary search.
 */

/**
 * Search ordered array A (of length len) for v, returning the index of v.  
 * Returns -1 for "not found".
 *
 * Pre: len >= 0
 *      A[i] <= A[i+1] for 0 <= i < len-1
 * Post: If for all i, A[i] != v, returns -1
 *       Otherwise, returns i s.t., A[i] == v
 */
int ibs (int A[], int len, int v);

#endif // __IBS_H__