LetExp([
 TypeDec[
  (a,
   ArrayTy(int))],
 VarDec(arr1,true,SOME(a),
  ArrayExp(a,
   IntExp(10),
   IntExp(0)))],
 VarExp(
  SubscriptVar(
   SimpleVar(arr1),
   StringExp(" "))))