functor (Elt : sig type t end) ->   sig     type elt = Elt.t     type t = Elt.t array     val empty : t     val make : int -> elt -> t     val length : t -> int     val get : t -> int -> elt     val set : t -> int -> elt -> unit     val sub : t -> int -> int -> t     val copy : t -> t     val blit : t -> int -> t -> int -> int -> unit     val iter : (elt -> unit) -> t -> unit   end