The out contract looks pretty good actually. The in contract, not as good. That looks like a comma expression. I'd rather see this be:in(x > 0) in(y > 0) or in(x > 0 && y > 0) In this case, we have something I think I would support. -Steve
I agree.
The out contract looks pretty good actually. The in contract, not as good. That looks like a comma expression. I'd rather see this be:in(x > 0) in(y > 0) or in(x > 0 && y > 0) In this case, we have something I think I would support. -Steve
I agree.