OCaml Несвязанное значение enf

Question

У меня есть вопрос об использовании локальной функции в глобальной функции.
Я попытался написать функцию, которая появляется на картинке, но ошибка сказала

несвязанное значение f

Странно, что эта ошибка происходит.Он не должен появляться, потому что я определил определение функции enf в affichage.

Вот изображение соответствующей части моего кода:

В чем может быть причина этой ошибки?

Answer 1

enf не определяется при определении affichage, поэтому, поскольку тело affichage ссылается на enf, это приводит к ошибке несвязанного значения.Чтобы иметь взаимно рекурсивные функции , вам понадобится что-то вроде

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