#include "tai.h"

void
utcdate2tai (struct tai *t, long year, unsigned short mon, unsigned short day,
  unsigned short hour, unsigned short min, unsigned long sec);