sig
  type 'a t = 'a Weak.t
  val create : len:int -> 'a t
  val length : 'a t -> int
  val set : 'a t -> int -> 'a Heap_block.t option -> unit
  val get : 'a t -> int -> 'a Heap_block.t option
  val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
end