Dear all: I have a deeply recursive ocaml program in the following way: method A begin calling B end method B begin calling A end in A and B, there are lots of local let bindings liek: let c=... in let d=f(c) so by changing it to let d= begin let c = ... in f(c) end can I reduce the memory usage? Shen