LetExp([ TypeDec[ (a, ArrayTy(int))], VarDec(arr1,false,NONE, ArrayExp(a, IntExp(10), IntExp(0))), TypeDec[ (rectype, RecordTy[ (name,false,string), (id,false,int)])], VarDec(rec1,false,SOME(rectype), RecordExp(rectype,[ (name, StringExp("Name")), (id, IntExp(1))]))], OpExp(EqOp, VarExp( SimpleVar(rec1)), VarExp( SimpleVar(arr1))))