--- bool foo { in(bar) { ... } out { return ... } } ---
Actually it's also enough with the surrounding scope. And fast to write, just one line: bool foo in(bar) {...} out {...}Everyone that sees this for the first time can see what it means. And it's more intuitive syntax than
bool empty { ... } void empty=(bool b) { ... }With the first syntax above you would have to specify the type (bool in this case) only once.