val searchi : get:(int -> 'a) -> compare:('a0 -> 'a0 -> int) -> testCompare:('a1 -> int) -> first:int -> last:int -> unit -> int option
val search : get:(int -> 'a) -> compare:('a0 -> 'a0 -> int) -> testCompare:('a1 -> int) -> first:int -> last:int -> unit -> 'a2 option