(let ((type a int) (type b int) (var a 1) (var b 2)) (= a b))