Page
Library
Module
Module type
Parameter
Class
Class type
Source
Mirage_clock.PCLOCKSourceClock counting time since the Unix epoch. Subject to adjustment by e.g. NTP.
include Mirage_device.S with type t = unitThe type for potentially blocking I/O operation
The type representing the internal state of the device
now_d_ps () is (d, ps) representing the POSIX time occuring at d * 86'400e12 + ps POSIX picoseconds from the epoch 1970-01-01 00:00:00 UTC. ps is in the range [0;86_399_999_999_999_999L].
current_tz_offset_s () is the clock's current local time zone offset to UTC in seconds, if known. This is the duration local time - UTC time in seconds.