Binary_searchable1_and_for_test.For_test
type 'a t
val of_array : Base.bool Base.array -> Base.bool t