Parameter Make.1-T

type elt
type t
val get : t -> int -> elt
val length : t -> int