将其中的自由变量标记为T，绑定变量标记为F

阅读下面代码，将其中的自由变量标记为T，绑定变量标记为F：
https://blog.csdn.net/tiangcs/article/details/112189356

详细语法
https://docs.microsoft.com/zh-cn/dotnet/fsharp/language-reference/verbose-syntax

    let z = (let x = 4 in [z] + x) in [z] * 2  

两个方括号括起来的z，原来是没有的，我这里是为了标记，才括了方括号

是两个z的变量，这是f# 语言，但是我跑不出来
test.fs(2,22): error FS0010: 意外的 关键字“in” 在交互中。应为 此点或之前的结构化构造不完整、符号“;;”、符号“;” 或其他标记。

  let z = (let x = 4 in z + x) in z * 2  
  ----------------------^

stdin(1,23): error FS0039: 未定义值或构造函数“z”。

我觉得是这样
let z = (let x = 4 in z（绑定）+ x) in z（自由） * 2
因为后面的z 是在外面的，外面的就是自由 是这样理解吗