X-Git-Url: https://git.xandkar.net/?p=khatus.git;a=blobdiff_plain;f=x3%2Fsrc%2Flib%2Fkhatus_time.mli;fp=x3%2Fsrc%2Flib%2Fkhatus_time.mli;h=b6b5441ff529846a0c2efb698c5bc5e59fde370a;hp=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hpb=4c703fadbdc17d1753d16841582636598f862416

diff --git a/x3/src/lib/khatus_time.mli b/x3/src/lib/khatus_time.mli
new file mode 100644
index 0000000..b6b5441
--- /dev/null
+++ b/x3/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. *)