sml - 如何清除 Poly/ML 中的 HashArray？

Question

没有太多方法，我发现只有两种方法？删除，折叠。

所以我这样做：

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

但我不认为这是一个好主意？怎么做才聪明？