Module Posix_time2.TimespecSource

Sourcetype t = private {
  1. tv_sec : int64;
  2. tv_nsec : int64;
}

POSIX timespec time specifier with seconds and nanoseconds. A normalized value of type t must have a value of tv_nsec between 0 and 1000000000 (exclusive).

Sourceval create : int64 -> int64 -> t

create sec nsec creates a new normalized timespec with sec seconds and nsec nanoseconds.

Sourceval add : t -> t -> t

add t1 t2 adds the two timespec values, returning a normalized value

Sourceval sub : t -> t -> t

sub t1 t2 subtracts t2 from t1, creating a new normalized time value.

Sourceval add_sec : int64 -> t -> t

add_sec s t adds s seconds to t.

Sourceval add_nsec : int64 -> t -> t

add_sec ns t adds ns nanoseconds to t.

Sourceval sub_sec : int64 -> t -> t

sub_sec s t subtracts s seconds from t.

Sourceval sub_nsec : int64 -> t -> t

sub_sec ns t subtracts ns nanoseconds from t.

Sourceval to_string : t -> string

to_string t creates a string of the form "sec.nsec".

Sourceval compare : t -> t -> int

compare t1 t2 compares the two time values t1 and t2. It returns 0 if t1 is equal to 2, a negative integer if t1 is less than t2, and a positive integer if t1 is greater than t2.