sig
val
of_array : bool array
->
bool
Binary_searchable_intf
.
Indexable1
.t
end