sig
  type tbl
  val create : int -> Bi_share.Wr.tbl
  val clear : Bi_share.Wr.tbl -> unit
  val put : Bi_share.Wr.tbl -> 'a * Bi_share.type_id -> int -> int
end