let var a := 5 var b := 6 in a = b end