我理解这x == y是错误的，因为每个都是在不同的内存位置实例化的（/sf/answers/98888191/）。但我的预期a == b是错误的。为什么这是真的？如何验证是否有两个不同的 let 绑定？
(* First Examplle *)
let x = "odg"
let y = "odg"
x = y (* true *)
x == y (* false *)
(* Second example *)
let a = 1
let b = 1
a == b (* true, WHY? *)