namespace boost {
  namespace icl {
    template<typename DomainT, 
             ICL_COMPARE Compare = ICL_COMPARE_INSTANCE(std::less, DomainT)> 
      class discrete_interval;

    template<typename DomainT, ICL_COMPARE Compare> 
      struct interval_traits<icl::discrete_interval< DomainT, Compare >>;
    template<typename DomainT, ICL_COMPARE Compare> 
      struct dynamic_interval_traits<boost::icl::discrete_interval< DomainT, Compare >>;
    template<typename DomainT, ICL_COMPARE Compare> 
      struct interval_bound_type<discrete_interval< DomainT, Compare >>;
    template<typename DomainT, ICL_COMPARE Compare> 
      struct is_discrete_interval<discrete_interval< DomainT, Compare >>;
    template<typename DomainT, ICL_COMPARE Compare> 
      struct type_to_string<icl::discrete_interval< DomainT, Compare >>;
    template<typename DomainT> 
      struct value_size<icl::discrete_interval< DomainT >>;
  }
}