IntListSet 结构的 SML 规范

Question

val x =  IntListSet.listItems(IntListSet.addList(IntListSet.empty,[1,2,3,4,5,6]));

如果你在 SML 中运行它，它会返回

x = [1,2,3,4,5,6] : IntListSet.item list

我希望它返回

x = [1,2,3,4,5,6] : Int list

我该怎么办？

Answer 1

你不需要做任何事情。 IntListSet.item 只是 Int.int 的别名，所以你的函数已经返回了正确的类型。