[next] [prev] [prev-tail] [tail] [up]
The output stream operator std::operator« is implemented by default for interval<T>.
[next] [prev] [prev-tail] [front] [up]