`sig
type type_id
val dummy_type_id : Bi_share.type_id
val create_type_id : unit -> Bi_share.type_id
module Wr :
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
module Rd :
sig
type tbl
val create : int -> Bi_share.Rd.tbl
val clear : Bi_share.Rd.tbl -> unit
val put : Bi_share.Rd.tbl -> int * Bi_share.type_id -> Obj.t -> unit
val get : Bi_share.Rd.tbl -> int * Bi_share.type_id -> Obj.t
end
end`