sig
type t
exception Range_error
exception Label_error
val compare : Cf_tai64.t -> Cf_tai64.t -> int
val now : unit -> Cf_tai64.t
val first : Cf_tai64.t
val last : Cf_tai64.t
val to_unix_time : Cf_tai64.t -> float
val of_unix_time : float -> Cf_tai64.t
val to_label : Cf_tai64.t -> string
val of_label : string -> Cf_tai64.t
val add : Cf_tai64.t -> int -> Cf_tai64.t
val add_int32 : Cf_tai64.t -> int32 -> Cf_tai64.t
val add_int64 : Cf_tai64.t -> int64 -> Cf_tai64.t
val sub : Cf_tai64.t -> Cf_tai64.t -> int64
val epoch : Cf_tai64.t
val mjd_epoch : Cf_tai64.t
val leapsec_add : Cf_tai64.t -> bool -> Cf_tai64.t
val leapsec_sub : Cf_tai64.t -> bool * Cf_tai64.t
end