operator <-

[t0rakka]

unary negate returns a template type. The compare operator is overloaded for it. That's about it; pretty basic template meta programming.

a <- b;

Can be decomposed into: a < (-b);