shortcut in clock

This commit is contained in:
Simon Cruanes 2026-02-20 08:55:50 -05:00
parent 7cc0ee1701
commit d5f6b564db
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -21,6 +21,9 @@ end
(** Clock that uses ptime. *) (** Clock that uses ptime. *)
let ptime_clock : t = { now = now_ptime_ } let ptime_clock : t = { now = now_ptime_ }
(** Same as [now ptime_clock] *)
let now_ptime = now_ptime_
(** Singleton clock *) (** Singleton clock *)
module Main = struct module Main = struct
open struct open struct