Previous  Up  Next

Module Cf_tai64


module Cf_tai64: sig .. end
Computations with the Temps Atomique Internationale (TAI) timescale.

Overview

This module defines an abstract type and associated functions for computations with values representing epochs in the Temps Atomique Internationale (TAI) timescale. Values are represented internally with the TAI64 format defined by Dan Bernstein, and support precision to the nearest second.

Functions are provided that:

Constants are also provided that define the boundaries of valid TAI64 representations.

Warning: This implementation obtains the current time of day using the POSIX time() function, which returns a value based on the UTC timescale (but with leap seconds "elided" in a way that makes conversions between POSIX time, Standard Time and TAI a perilous undertaking). See the Cf_stdtime module for details.

Types

type t
Abstract values of TAI64 type

Exceptions

exception Range_error
Result not representable in TAI64 format.
exception Label_error
Input is not a valid TAI64 label

Functions

val compare : t -> t -> int
A total ordering function, defined so that the Cf_tai64 module has the signature of the Cf_ordered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T module type. compare a b compare="Chapered.Total_T