Operators.unaryOp(that, isint?"(-":null, isint?")":".negated", this);
}
@Override public void visit(final Tree.PositiveOp that) {
final TypeDeclaration d = that.getTerm().getTypeModel().getDeclaration();
final boolean nat = d.inherits(that.getUnit().getIntegerDeclaration());
//TODO if it's positive we leave it as is?
Operators.unaryOp(that, nat?"(+":null, nat?")":null, this);
}
@Override public void visit(final Tree.EqualOp that) {