Foldable_of_indexable.1-I
type 'a t
type 'a elt
val get : 'a t -> int -> 'a elt
val length : _ t -> int