template<typename time_rep> 
class counted_time_system {
public:
  // types
  typedef time_rep                                    time_rep_type;          
  typedef time_rep_type::impl_type                    impl_type;              
  typedef time_rep_type::time_duration_type           time_duration_type;     
  typedef time_duration_type::fractional_seconds_type fractional_seconds_type;
  typedef time_rep_type::date_type                    date_type;              
  typedef time_rep_type::date_duration_type           date_duration_type;     

  // public static functions
  template<typename T> void unused_var(const T &) ;
  time_rep_type 
  get_time_rep(const date_type &, const time_duration_type &, 
               date_time::dst_flags = not_dst) ;
  date_type get_date(const time_rep_type &) ;
  time_duration_type get_time_of_day(const time_rep_type &) ;
  std::string zone_name(const time_rep_type &) ;
  bool is_equal(const time_rep_type &, const time_rep_type &) ;
  bool is_less(const time_rep_type &, const time_rep_type &) ;
  time_rep_type add_days(const time_rep_type &, const date_duration_type &) ;
  time_rep_type 
  subtract_days(const time_rep_type &, const date_duration_type &) ;
  time_rep_type 
  subtract_time_duration(const time_rep_type &, const time_duration_type &) ;
  time_rep_type add_time_duration(const time_rep_type &, time_duration_type) ;
  time_duration_type 
  subtract_times(const time_rep_type &, const time_rep_type &) ;
};