namespace boost { namespace icl { template<typename DomainT> class bounded_value; template<typename Type> struct dynamic_interval_traits; } }