From d5f6b564db139147170589d561f8956db6402431 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 20 Feb 2026 08:55:50 -0500 Subject: [PATCH] shortcut in clock --- src/core/clock.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/core/clock.ml b/src/core/clock.ml index 4a39145c..505274f5 100644 --- a/src/core/clock.ml +++ b/src/core/clock.ml @@ -21,6 +21,9 @@ end (** Clock that uses ptime. *) let ptime_clock : t = { now = now_ptime_ } +(** Same as [now ptime_clock] *) +let now_ptime = now_ptime_ + (** Singleton clock *) module Main = struct open struct