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