Module type Base_for_tests__Test_binary_searchable_intf.Binary_searchable1_and_for_test

include Base.Binary_searchable.S1
type 'a t
val binary_search_segmented : ('a t'a) Base__.Binary_searchable_intf.binary_search_segmented
module For_test : For_test1 with type 'a t := 'a t