LetExp([ TypeDec[ (a, ArrayTy(int))], VarDec(arr1,true,NONE, ArrayExp(a, IntExp(10), IntExp(0)))], OpExp(EqOp, StringExp("test"), VarExp( SimpleVar(arr1))))