On 22.06.2017 22:02, jmh530 wrote: > > The whole double parentheses is a bit ugly to me. Is there any problem with > out(return > 0) out(a => { void foo()out(b => a == b){ return a; } return foo()>0; }());