Produce unit tests for binary searchable containers
module type For_test : sig ... end
module type For_test1 : sig ... end
module type Indexable_and_for_test : sig ... end
module type Indexable1_and_for_test : sig ... end
module type Binary_searchable_and_for_test : sig ... end
module type Binary_searchable1_and_for_test : sig ... end
module type Test_binary_searchable : sig ... end