ExpVar Method

public static Exp Var(
	string name
)

// 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))));