The type for non-negative monotonic time spans. They represent the difference between two monotonic clock readings with nanosecond precision (1e-9s) and can measure up to approximatevely 584 Julian year spans before silently rolling over (unlikely since this is in a single program run).

Monotonic time spans

The type for monotonic timestamps relative to an indeterminate system-wide event (e.g. last startup). Their absolute value has no meaning but can be used for inter-process time correlation.

to_uint64_ns t is t as an unsigned 64-bit integer nanosecond timestamp. The absolute value is meaningless.

to_uint64_ns t is t is an unsigned 64-bit integer nanosecond timestamp as a timestamp.

Warning. Timestamps returned by this function should only be used with other timestamp values that are know to come from the same operating system run.

min_stamp is the earliest timestamp.

max_stamp is the latest timestamp.

pp is a formatter for timestamps.

equal t t' is true iff t and t' are equal.

compare t t' orders timestamps by increasing time.

is_earlier t ~than is true iff t occurred before than.

is_later t ~than is true iff t occurred after than.

span t t' is the span between t and t' regardless of the order between t and t'.

add_span t s is the timestamp s units later than t or None if the result overflows.

sub_span t s is the timestamp s units earlier than t or None if overflows.