sig type elt type t val get : Binary_searchable_intf.Indexable.t -> int -> Binary_searchable_intf.Indexable.elt val length : Binary_searchable_intf.Indexable.t -> int end