···208208209209val tai_to_gps_offset : int64
210210(** Seconds from TAI epoch to GPS epoch (1980-01-06). GPS time = TAI time -
211211- tai_to_gps_offset *)
211211+ tai_to_gps_offset. *)
212212213213val tai_to_unix_offset : int64
214214(** Seconds from TAI epoch to Unix epoch (1970-01-01). Note: Does not account