sig
  type 'a t = 'a array
  val create : int -> '-> 'a array
  val init : int -> (int -> 'a) -> 'a array
  val get : 'a array -> int -> 'a
  val set : 'a array -> int -> '-> unit
  val iteri : (int -> '-> unit) -> 'a array -> unit
  val map : ('-> 'b) -> 'a array -> 'b array
  val mapi : (int -> '-> 'b) -> 'a array -> 'b array
  val foldi : (int -> '-> '-> 'b) -> 'a array -> '-> 'b
  val fold : ('-> '-> 'b) -> 'a array -> '-> 'b
end