Module For_test

To implement the test provided by Binary_searchable, we need to be able to construct t with two different values small < big. We also need to be able to build a t from an elt array.