LetExp([
 TypeDec[
  (a,
   NameTy(int)),
  (b,
   NameTy(a))],
 VarDec(arr1,true,NONE,
  ArrayExp(b,
   IntExp(10),
   IntExp(0)))],
 VarExp(
  SimpleVar(arr1)))