5.7.2 std::operator« - Output stream

The output stream operator std::operator« is implemented by default for interval<T>.