如何清除Poly / ML中的HashArray？

Question

没有多少方法，我发现只有两种方法呢？ 删除，弃用。

所以我这样做：

fold ( fn ( k, _, _ ) => delete ( h, k ) ) () h;

但我不认为这是个好主意？如何做到这一点聪明？