Тупой вопрос по OCaml

Функции foo и bar обе должны иметь глобальную область видимости

Такое непроканает

let rec foo x =

let bar x = if ... cond2 ... then foo x else .... in

if ... cond1 ... then bar x else ...

Это ж есть в доке.
let 
   foo x = ...
and
   bar x = ...

let rec foo = 
    ^^^
and bar = ...

Не совсем то, что расчитывал увидеть. Есть одна тонкость - функции bar и foo объявлены в разных файлах. Более того функция bar генерируется автоматически ocamllex-ом.

Да, пардон.
Ну смысл не в этом, а в том что решается это так же как и в остальных случаях -- для объявления на одном уровне вложенности используется and.

А кроме and никак ? Да уж... как-то скудненько

Через функции второго порядка можно все это сделать. Пример

let foo bar_f x = if ...cond1... then bar_f x else ...

let rec bar x = if ...cond2... then foo bar x else ... 

Т.е. функция foo принимает функцию bar в качестве параметра.