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 ';')

Reply via email to