extern(C) int foo(int i) in { assert(i > 7); } out (result) { assert(result & 1); }A nice idea to remember (regardless the syntax used to do it).
At least that's the interface contracts syntax (wonder why there's no ';')
extern(C) int foo(int i) in { assert(i > 7); } out (result) { assert(result & 1); }A nice idea to remember (regardless the syntax used to do it).
At least that's the interface contracts syntax (wonder why there's no ';')