Var.Tbl
type key = t
type 'a t
type size = unit
val get : 'a t -> key -> 'a
val set : 'a t -> key -> 'a -> unit
val make : size -> 'a -> 'a t