functor (T : Indexable->
  sig
    val binary_search : (T.t, T.elt) binary_search
    val binary_search_segmented : (T.t, T.elt) binary_search_segmented
  end