Witness is called to update our local clock if necessary after witnessing a clock value received from another process
(time Time)
| 12 | // Witness is called to update our local clock if necessary after |
| 13 | // witnessing a clock value received from another process |
| 14 | Witness(time Time) error |
| 15 | } |
no outgoing calls