public static Exp EQ( Exp left, Exp right )
// a == 11 Exp.EQ(Exp.IntBin("a"), Exp.Val(11))
In This Article