functor (T : Indexable1->
  sig
    val binary_search : ('T.t, 'a) binary_search
    val binary_search_segmented : ('T.t, 'a) binary_search_segmented
  end