functor (I : Item) ->
  sig
    type t
    type item = I.t
    val create : int -> t
    val set_size : t -> int -> unit
    val push : t -> string -> item -> unit
    val dump : t list -> Rpc.t * Rpc.t
  end