Parte 3 - Unicamp

Verificação Semântica II
public abstract class ArithOp extends DiadOp{
...
Type retType() { return IntType; }
...
}
public abstract class BoolOp extends DiadOp {
...
Type retType() { return Type.BoolType; }
...
}