let mem (h:('a,'b) t) (x:'a) (y:'b) = h#mem x y