// In header: <boost/icl/closed_interval.hpp>
template<typename DomainT, ICL_COMPARE Compare> 
struct interval_traits<icl::closed_interval< DomainT, Compare >> {
  // types
  typedef DomainT                                  domain_type;  
  typedef icl::closed_interval< DomainT, Compare > interval_type;
  // public member functions
  typedef ICL_COMPARE_DOMAIN(Compare, DomainT);
  // public static functions
  static interval_type construct(const domain_type &, const domain_type &);
  static domain_type lower(const interval_type &);
  static domain_type upper(const interval_type &);
};