Improve overview and experiment naming

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

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