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