sig
  type 'a t
  val binary_search :
    ('Binary_searchable_intf.S1.t, 'a) Binary_searchable_intf.binary_search
  val binary_search_segmented :
    ('Binary_searchable_intf.S1.t, 'a)
    Binary_searchable_intf.binary_search_segmented
end