sig
  type 'a t
  val inject : 'a -> 'a Weak_hashtbl.Box.t
  val project : 'a Weak_hashtbl.Box.t -> 'a
end