sig
  type 'a t
  val create : unit -> 'a Generator.Generator.t
  val clear : 'a Generator.Generator.t -> unit
  val length : 'a Generator.Generator.t -> int
  val remove : 'a Generator.Generator.t -> int -> unit
  val put : 'a Generator.Generator.t -> 'a -> int -> int -> unit
  val get : 'a Generator.Generator.t -> int -> ('a * int * int * int) list
end