Module Mavryk_time_measurement_runtime.Clock

module type S = sig ... end

Defines an interface to mesure the current time.

module WithUnix : S

A clock implementation that uses Unix system calls.