it seems to me that Chapter 23 of the manual could be improved to make it friendlier a wider range of readers. But first I need to know if I understand correctly:

Suppose you define let*. Is this true that let* x = a in b where b is an expression that may contain x is equivalent to (let*) a (fun x -> b) ?

If so, is there a reason why this is not mentioned in the chapter?
Then, one could also mention that the behavior of the “normal” let can be obtained by let (let<) x f = f x