OCaml 的局部函数的定义结束边界在哪里？

[zjsxwc]

如图： 我看不懂这个局部变量函数 ck 啊，他如果边界在最后的;;那岂不是无限递归卡死？

[zjsxwc]

明白了，是根据 let 与 in 关键字对应位置来判断范围的。

结贴。