Pretty.TABLE
type key
type 'a t
val create : int -> 'a t
val add : 'a t -> key -> 'a -> unit
val find : 'a t -> key -> 'a