Sleep 退出、中止、睡眠以进行调试？

在Prolog中，可以激活跟踪模式进行调试。显然在ML中没有这样的东西。是否至少有一个

exit（）

或

abort（）

？当与调试打印语句结合使用时，

sleep（）

对于从Prolog近似跟踪模式也很有用。

要强制退出，可以使用

OS.Process

结构：

 OS.Process.exit OS.Process.success;

---

还要注意的是，Poly/ML确实有一个很好的解释。

可能不完全是重复的，但这个问题似乎是相关的：