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