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