Functor Typename.Table

module Table: 
functor (X : sig
type 'a t 
end) -> sig .. end
Parameters:
X : sig type 'a t end

type t 
val create : int -> t
val mem : t -> 'a Typename.typename -> bool
val set : t -> 'a Typename.typename -> 'a X.t -> unit
val find : t -> 'a Typename.typename -> 'a X.t option