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

diff --git a/x3/src/lib/khatus_time.ml b/x3/src/lib/khatus_time.ml
new file mode 100644
index 0000000..9410417
--- /dev/null
+++ b/x3/src/lib/khatus_time.ml
@@ -0,0 +1,25 @@
+module Span = struct
+  type t = float
+
+  let of_string s =
+    float_of_string s
+
+  let is_gt_or_eq t1 t2 =
+    t1 >= t2
+end
+
+type t = float
+
+let init = 0.0
+
+let diff t0 t1 =
+  t1 -. t0
+
+let to_string t =
+  Printf.sprintf "%f" t
+  |> String.split_on_char '.'
+  |> List.hd
+
+let of_string s =
+  (* TODO: Shall we validate time string format at msg parse time? *)
+  float_of_string s