Module Cf_bsearch.Int

Use find r f a b to search for the cursor c between a and b inclusive, for which applying the ordering function f returns zero. If the cursor is found in the search, then r.some is applied to it. Otherwise, r.none () is applied.

Use search f a b to find Some c between a and b inclusive for which applying the ordering function f returns zero. Otherwise, if no such cursor exists, then returns None.

Use opt f a b to find the cursor between a and b inclusive for which applying the ordering function f returns zero. Otherwise, if no such cursor exists, then raises Not_found.