sig
  type 'a key
  type t
  val create : unit -> Polytables.t
  val make_key : unit -> 'Polytables.key
  val set : table:Polytables.t -> key:'Polytables.key -> value:'-> unit
  val get : table:Polytables.t -> key:'Polytables.key -> 'a
  val clear : table:Polytables.t -> unit
end