add Timestamp_s.now

imandra-ai · Apr 17, 2024 · bdd6e2c · bdd6e2c
1 parent 61b86e1
commit bdd6e2c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/core/timestamp_s.ml b/src/core/timestamp_s.ml
@@ -3,6 +3,8 @@
 type t = (float[@printer Util.pp_duration_s]) [@@deriving show, eq, serpack]
 (** Timestamps *)
 
+let now : unit -> t = Util.ptime_now
+
 let to_string_rfc3339 ?tz_offset_s (self : t) : string =
   let tz_offset_s =
     match tz_offset_s with