Module Rhythm.GeneralBinarySearch
val search :
get:('key -> 'value) ->
getMiddle:('key -> 'key -> 'key) ->
continue:('key -> 'key -> bool) ->
compare:('value -> 'value -> int) ->
testCompare:('value -> int) ->
first:'key ->
last:'key ->
unit ->
'key option