sig
  type 'a t
  val make : int -> 'a -> 'a Traversal.A.t
  val length : 'a Traversal.A.t -> int
  val set : 'a Traversal.A.t -> int -> 'a -> unit
  val get : 'a Traversal.A.t -> int -> 'a
end