sig
  type 'a t
  val name : string
  val length : 'a Pres_impl.Implementation.t -> int
  val make : int -> 'a -> 'a Pres_impl.Implementation.t
  val unsafe_get : 'a Pres_impl.Implementation.t -> int -> 'a
  val unsafe_set : 'a Pres_impl.Implementation.t -> int -> 'a -> unit
end