[ocaml] В каком порядке будет вычислятся выражение?

Вообще

let s i = let s2 j = i + j in s2;;

эквивалентно

let s = (fun i -> let s2 = (fun j -> i + j) in s2);;

Не совсем понял, о каком порядке речь.

Если для выражения:

let x=2*2 in x+1;; Сначала вычисляем 2*2 let x=4 in x+1;; Потом в выражении x+1 подставляем 4. 4 + 1;; Итого 5;

let s i = let s2 j = i + j in s2;;

Сначала будет вычисляться этот кусок?

let s i = (let s2 j = i + j) in s2;; или этот let s i = let (s2 j = i + j) in s2;;

Второе. Сам in при этом относится к внутреннему let.