}
template<>
-String
+string
Interval_t<Real>::T_to_string (Real r)
{
return ::to_string (r);
}
template<>
-String
+string
Interval_t<int>::T_to_string (int i)
{
return ::to_string (i);
template INTERVAL__INSTANTIATE (int);
template INTERVAL__INSTANTIATE (Real);
-