LetExp([
 TypeDec[
  (a,
   ArrayTy(int)),
  (s,
   ArrayTy(string))],
 VarDec(arr1,false,NONE,
  ArrayExp(a,
   IntExp(10),
   IntExp(0))),
 VarDec(arr2,false,NONE,
  ArrayExp(s,
   IntExp(10),
   StringExp("")))],
 OpExp(EqOp,
  VarExp(
   SimpleVar(arr1)),
  VarExp(
   SimpleVar(arr2))))