Implement a basic cache dumper

[khatus.git] / src / ocaml / lib / khatus_time.mli

diff --git a/src/ocaml/lib/khatus_time.mli b/src/ocaml/lib/khatus_time.mli
new file mode 100644 (file)
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