假设我在堆栈深处，有些事情发生了，现在我只想退出。
failwith不会对我有用，因为它根本不是沉默的。
我试过了failwith ""，我得到了Fatal error: exception Failure("")
我在C中需要与exit 0类似的东西。
答案 0 :(得分：3)
你可以这样做：
exit 0
它的工作原理与exit（0）完全相同;在C.
这样的最基本的操作都在Pervasives模块中。每次我阅读Pervasive文档时，都会注意到自上次以来我忘记了一些事情。