OCaml未绑定值enf

Question

我对在全局函数中使用局部函数有疑问。
我试图编写图片中显示的功能，但出现错误

  

f的无界值

奇怪的是，发生此错误。它不应该出现，因为我在enf中定义了函数affichage的定义。

这是我代码中相关部分的图片：

此错误的原因是什么？

Answer 1

定义enf时未定义

affichage，因此，由于affichage的主体引用了enf，因此会导致未绑定的值错误。为了拥有mutually recursive functions，您需要某种形式的

let rec affichage (* ... *) =
  (* ... *)
and enf (* ... *) =
  (* ... *)
in
  (* ... *)
;;