ExpLet Method

public static Exp Let(
	params Exp[] exps
)

// Args Format: def1, def2, ..., exp
// def: 
// exp: Scoped expression
// 5 < a < 10
Exp.Let(
  Exp.Def("x", Exp.IntBin("a")),
  Exp.And(
    Exp.LT(Exp.Val(5), Exp.Var("x")),
    Exp.LT(Exp.Var("x"), Exp.Val(10))));