Base_for_tests.Test_binary_searchableinclude Test_binary_searchable_intf.Test_binary_searchablemodule type For_test = Test_binary_searchable_intf.For_testmodule type For_test1 = Test_binary_searchable_intf.For_test1module Test (M : Test_binary_searchable_intf.Binary_searchable_and_for_test) : sig ... endmodule Test1 (M : Test_binary_searchable_intf.Binary_searchable1_and_for_test) : sig ... endmodule Make_and_test (T : Test_binary_searchable_intf.Indexable_and_for_test) : Base.Binary_searchable.S with type t := T.t with type elt := T.eltMake_and_test does Binary_searchable.Make and Test.
module Make1_and_test (T : Test_binary_searchable_intf.Indexable1_and_for_test) : Base.Binary_searchable.S1 with type 'a t := 'a T.t