Parameter Make1.T

type 'a t
val get : 'a t -> int -> 'a
val length : _ t -> int