Module Base_for_tests__Test_binary_searchable
include Base_for_tests.Test_binary_searchable_intf.Test_binary_searchable
module type For_test = Base_for_tests.Test_binary_searchable_intf.For_test
module Test : functor (M : Base_for_tests.Test_binary_searchable_intf.Binary_searchable_and_for_test) -> sig ... end
module Test1 : functor (M : Base_for_tests.Test_binary_searchable_intf.Binary_searchable1_and_for_test) -> sig ... end
module Make_and_test : functor (T : Base_for_tests.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
doesBinary_searchable.Make
andTest
.
module Make1_and_test : functor (T : Base_for_tests.Test_binary_searchable_intf.Indexable1_and_for_test) -> Base.Binary_searchable.S1 with type 'a t := 'a T.t