sig
  module type S = Binary_searchable_intf.S
  module type S1 = Binary_searchable_intf.S1
  module type S1_permissions = Binary_searchable_intf.S1_permissions
  module type Indexable = Binary_searchable_intf.Indexable
  module type Indexable1 = Binary_searchable_intf.Indexable1
  module Make :
    functor (T : Indexable->
      sig
        val binary_search : (T.t, T.elt) Binary_searchable_intf.binary_search
        val binary_search_segmented :
          (T.t, T.elt) Binary_searchable_intf.binary_search_segmented
      end
  module Make1 :
    functor (T : Indexable1->
      sig
        val binary_search : ('T.t, 'a) Binary_searchable_intf.binary_search
        val binary_search_segmented :
          ('T.t, 'a) Binary_searchable_intf.binary_search_segmented
      end
end