template<typename time_type, typename charT = char> 
class ostream_time_formatter {
public:
  // types
  typedef std::basic_ostream< charT >                                  ostream_type;      
  typedef time_type::date_type                                         date_type;         
  typedef time_type::time_duration_type                                time_duration_type;
  typedef ostream_time_duration_formatter< time_duration_type, charT > duration_formatter;

  // public static functions
  void time_put(const time_type &, ostream_type &) ;
};