Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.1 DD-00006-011

5.7.2 std::operator« - Output stream

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