let var x := "abc" in let var x := x = x in x end; x end