I\'m studying OCaml these days and came across this:
OCaml has limits on what it can put on the righthand side of a let rec. Like this one
let memo_rec f
This is clearly explained in section of Memoization and Dynamic Programming in https://realworldocaml.org/v1/en/html/imperative-programming-1.html
Memoization and Dynamic Programming