12.35 GNAT.Binary_Search (g-binsea.ads)

Allow binary search of a sorted array (or of an array-like container; the generic does not reference the array directly).