Handling the leap second archive
This module defines a data structure representing the history of leap seconds published in Bulletin C by the International Earth Rotation and Reference Systems Service (IERS). This data is used in converting between the Coordinated Universal Time (UTC) and Temps Atomique International (TAI) timescales. Bulletin C is published every six months and whenever necessary and a machine readable archive of the historical record is provided as a public service by the United States National Institute of Standards and Technology (NIST) and the Internet Engineering Task Force (IETF) at the following locations:
<https://www.ietf.org/timezones/data/leap-seconds.list> <ftp://ftp.nist.gov/pub/time/leap-seconds.list>
The data intrinsically inclued in the current implementation expires on December 28, 2021. Use the load_from_nist_file function to use a more recent update of the leap second archive.
An entry in the archive comprising the TAI epoch of an announced leap second and the new offset from UTC to TAI in seconds after the leap.
type archive = private | Archive of {current : int;updated : Cf_tai64.t;expires : Cf_tai64.t;history : entry list;}A record of known leap seconds in reverse chronological order.
val current : unit -> archiveUse current () to obtain the current leap second archive.