PosInfInterval.toString

string toString()
No documentation available for this declaration.
string toString() const nothrow

Converts this interval to a string.