val empty : 'a tval singleton : 'a ‑> 'a tval of_list : 'a list ‑> 'a tval of_array : 'a array ‑> 'a tval of_sorted_array : 'a array ‑> 'a t Or_error.tval of_sorted_array_unchecked : 'a array ‑> 'a tval of_increasing_iterator_unchecked : len:int ‑> f:(int ‑> 'a) ‑> 'a t