Parameter Test1.1-M
include Base.Binary_searchable.S1
val binary_search : ('a t, 'a, 'key) Base__.Binary_searchable_intf.binary_searchval binary_search_segmented : ('a t, 'a) Base__.Binary_searchable_intf.binary_search_segmented
module For_test : Base_for_tests.Test_binary_searchable_intf.For_test1 with type 'a t := 'a t