functor (Key : Key-> Core_hashtbl_intf.Monomorphic(T)(Key).S