Stable Numerics Subroutine Library
Programming Reference Manual
Version 1.0 DD-00006-010
6.6.2 std::operator« - Output stream

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