path: root/src/libstddjb/tai_add.c

/* ISC license. */

#include <skalibs/tai.h>

int tai_add (tai_t *t, tai_t const *u, tai_t const *v)
{
  return tai_u64(t, tai_sec(u) + tai_sec(v)) ;
}