functor (E : AnyType) ->
  sig
    type t
    type elt = E.t
    val make : int -> elt -> t
    val empty : t
    val get : t -> int -> elt
    val set : t -> int -> elt -> unit
    val length : t -> int
    val blit : t -> int -> t -> int -> int -> unit
  end