标签： sml polyml
没有多少方法，我发现只有两种方法呢？ 删除，弃用。
所以我这样做：
fold ( fn ( k, _, _ ) => delete ( h, k ) ) () h;
但我不认为这是个好主意？如何做到这一点聪明？