<INTERFACE> The <CD/BSearchFn/ functor <SEEALSO> <FCTREF/ArrayQSortFn/ <STRREF TOPID/ArrayQSort/ </SEEALSO> <PP> The <FCTREF NOLINK/BSearchFn/ functor implements binary searching on sorted monomorphic arrays. <ID>AMONO_ARRAY <SPEC> <SUBSTRUCT>AMONO_ARRAY</SUBSTRUCT> <SPEC> <VAL>bsearch<TY>(('a * A.elem) -> order) -> ('a * A.array) -> (int * A.elem) option <COMMENT> <PROTOTY> bsearch <ARG/cmp/ (<ARG/a/, <ARG/arr/) </PROTOTY> performs a binary search, looking for <ARG/a/ in the monomorphic array <ARG/arr/. It is assumed that the array elements have some key, and have been sorted non-decreasingly in terms of that key. The comparison function <ARG/cmp/ is used to compare the elements of the array with the value <ARG/a/. <PP> If the search is successful, the element and its index are returned; otherwise; </INTERFACE>