X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_time.mli;fp=v3%2Fsrc%2Flib%2Fkhatus_time.mli;h=b6b5441ff529846a0c2efb698c5bc5e59fde370a;hb=53d24ad688ea39892dbf3c748c1e40514eeb2763;hp=0000000000000000000000000000000000000000;hpb=0c4f892ec9d0cd7dc87c83c01b52259d0aed1ae3;p=khatus.git

diff --git a/v3/src/lib/khatus_time.mli b/v3/src/lib/khatus_time.mli
new file mode 100644
index 0000000..b6b5441
--- /dev/null
+++ b/v3/src/lib/khatus_time.mli
@@ -0,0 +1,18 @@
+module Span : sig
+  type t
+
+  val of_string : string -> t
+
+  val is_gt_or_eq : t -> t -> bool
+end
+
+type t
+
+val init : t
+
+val diff : t -> t -> Span.t
+
+val to_string : t -> string
+
+val of_string : string -> t
+(** Raises if string is not a number. *)