LetExp([ TypeDec[ (rectype, RecordTy[ (name,false,string), (id,false,int)]), (rectype2, RecordTy[ (name,false,string), (id,false,int)])], VarDec(rec1,false,SOME(rectype), RecordExp(rectype,[ (name, StringExp("Name")), (id, IntExp(1))])), VarDec(rec2,false,SOME(rectype2), RecordExp(rectype2,[ (name, StringExp("Test")), (id, IntExp(2))]))], OpExp(EqOp, VarExp( SimpleVar(rec1)), VarExp( SimpleVar(rec2))))