public class Eq extends EqBinary {
  public Eq (int id) {
  }
  public Object sem () throws SemanticException {
    return super.sem("==");
  }
  public Object run () {
    return Lit.eq(a.run(), b.run());
  }
}