// In header: <boost/icl/discrete_interval.hpp>
template<typename DomainT, ICL_COMPARE Compare> 
struct interval_traits<icl::discrete_interval< DomainT, Compare >> {
  // types
  typedef interval_traits                            type;         
  typedef DomainT                                    domain_type;  
  typedef icl::discrete_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 &);
};