Test_binary_searchable (core_kernel.base_for_tests.Base_for_tests.Test_binary

include Test_binary_searchable_intf.Test_binary_searchable

module type For_test = Test_binary_searchable_intf.For_test

module type For_test1 = Test_binary_searchable_intf.For_test1

module Test : functor (M : Test_binary_searchable_intf.Binary_searchable_and_for_test) -> sig ... end

module Test1 : functor (M : Test_binary_searchable_intf.Binary_searchable1_and_for_test) -> sig ... end

module Make_and_test : functor (T : Test_binary_searchable_intf.Indexable_and_for_test) -> Base.Binary_searchable.S with type t := T.t with type elt := T.elt

Make_and_test does Binary_searchable.Make and Test.

module Make1_and_test : functor (T : Test_binary_searchable_intf.Indexable1_and_for_test) -> Base.Binary_searchable.S1 with type a t := a T.t