Improve overview and experiment naming

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

diff --git a/v3/src/lib/khatus_time.mli b/v3/src/lib/khatus_time.mli
deleted file mode 100644 (file)
index b6b5441..0000000
--- a/v3/src/lib/khatus_time.mli
+++ /dev/null
@@ -1,18 +0,0 @@
-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. *)