module type Indexable = sig .. end
sig
end
Indexable
0
length t - 1
type elt
type t
val get : t -> int -> elt
t -> int -> elt
val length : t -> int
t -> int