let mem (hs:'a t) (x:'a) = hs#mem x