Id of the owner process.
The clock's current time.
Returns the local time of processId
recorded in this clock.
The clock's current time.
Merges current time with t
.
Id of the owner process.
Advances local time by a single tick.
Updates current time with t
(tick and merge).
An immutable vector clock.
Id of the owner process.
The clock's current time.