Functional programming OCaml变量阴影？

如果我有这样一个嵌套函数

let test1 (sorted: int list) =
let test2 (sorted: int list) =
{blah with sorted} in
test2 sorted

---

阴影是如何工作的？在test2内部，我将使用传入（排序）的参数，或者它将访问test1中声明的更大的排序范围？

当范围中有多个同名变量时，您将始终从最内部的范围访问该变量。因此，在第3行，您访问的是

test2

的参数，在第4行，您访问的是

test1

的参数