out result > 0 // perhaps the best
How would you handle things like this:
T minimum(T)(RedBlackTree!T tree)
in (!tree.empty)
out result in (tree)
{
return tree.front;
}
That could either mean "out(result){assert(result in (tree));}"
or out(result){assert(result);} in{assert(tree);}"
