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