X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_time.ml;fp=v3%2Fsrc%2Flib%2Fkhatus_time.ml;h=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hp=941041795d9ebdd7edc48f21216e8f05c169ac97;hpb=4c703fadbdc17d1753d16841582636598f862416;p=khatus.git diff --git a/v3/src/lib/khatus_time.ml b/v3/src/lib/khatus_time.ml deleted file mode 100644 index 9410417..0000000 --- a/v3/src/lib/khatus_time.ml +++ /dev/null @@ -1,25 +0,0 @@ -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