LetExp([
 TypeDec[
  (a,
   NameTy(int))],
 VarDec(x,true,SOME(a),
  IntExp(1))],
 VarExp(
  SimpleVar(x)))