Sml 以Poly/ML为单位检查结构中的值

在Poly/ML中，全局值的名称可以通过以下方式获得：

map #1 ((#allVal PolyML.globalNameSpace) ());

使用

#allStruct

同样可以获得顶级结构

现在，如何列出结构中的所有值？ 也就是说，有没有办法实现下面的

？

> ??? "String";
["implode", "explode", "concatWith", ...]

---

这是我目前的解决办法。 您可以从PolyML.globalNameSpace（forgetValue）中删除所有值，然后打开结构并重复（#allVal PolyML.globalNameSpace）（）