sig
type elt
type t
val binary_search :
?pos:int ->
?len:int ->
Binary_searchable_intf.S.t ->
compare:(Binary_searchable_intf.S.elt ->
Binary_searchable_intf.S.elt -> int) ->
Binary_searchable_intf.S.elt -> int option
end