Andrej Mitrovic Fri, 04 Feb 2011 19:27:56 -0800
@Requires -> in{} @Ensures -> out(result){}
That's about it for this post, right?
