Parameter Core_kernel__Import.Test_binary_searchable_intf.Test_binary_searchable.Test1.1-M

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