X : sig ... end
type t
val create : int ‑> t
val mem : t ‑> 'a typename ‑> bool
val set : t ‑> 'a typename ‑> 'a X.t ‑> unit
val find : t ‑> 'a typename ‑> 'a X.t option