X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=src%2Focaml%2Flib%2Fkhatus_time.mli;fp=src%2Focaml%2Flib%2Fkhatus_time.mli;h=9f930af80fb3a9df80d62986780eba310c23aaa9;hb=c6a7396ebc93cec32a1465d878ac9d36465dcb19;hp=0000000000000000000000000000000000000000;hpb=ba303714d7c911d460040c0eff82e5f5f4b2c2d3;p=khatus.git

diff --git a/src/ocaml/lib/khatus_time.mli b/src/ocaml/lib/khatus_time.mli
new file mode 100644
index 0000000..9f930af
--- /dev/null
+++ b/src/ocaml/lib/khatus_time.mli
@@ -0,0 +1,17 @@
+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