#ifndef _TIME_H_a6c7b92e_
#define _TIME_H_a6c7b92e_

#include "structs.h"

extern TIME time_zero(void);
extern double time_double(TIME);
extern int time_cmp(TIME, TIME);
extern TIME time_add_time(TIME, TIME);
extern TIME time_add_tut(TIME, unsigned long int, unsigned long int);

#endif