functor (X : sig type 'a t end) ->
sig
type t
val create : int -> Typename.Table.t
val mem : Typename.Table.t -> 'a Typename.typename -> bool
val set : Typename.Table.t -> 'a Typename.typename -> 'a X.t -> unit
val find : Typename.Table.t -> 'a Typename.typename -> 'a X.t option
end